Search Results - "Automatic Programming- Program verification"

DSD-Crasher: A hybrid analysis tool for bug finding

Authors: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Contributors: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging— testing tools, I.2.2 [Artificial Intelligence, Automatic Programming—program verification General Terms, Verification Additional Key Words and Phrases, Automatic testing, bug finding, dynamic analysis, dynamic invariant detection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597
http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf

Programs]: Specifying and Verifying and Reasoning about Programs--logics ofprograms; mechanical

Authors: A. P. Sistla E. M. Clarke The Pennsylvania State University CiteSeerX Archives

Contributors: A. P. Sistla E. M. Clarke The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf.

Subject Terms: veriJ?cation, 1.2.2 [Artificial Intelligence, Automatic Programming--program verification General Terms, Theory Additional Key Words and Phrases, Branching time temporal logic, decision procedures, linear time temporal logic, NP-complete, PSPACE-complete, satistiability

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178; http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178
http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf

The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture

Authors: Stewart Green The Pennsylvania State University CiteSeerX Archives

Contributors: Stewart Green The Pennsylvania State University CiteSeerX Archives

Source: http://www.soi.city.ac.uk/homes/till/wp31.ps.

Subject Terms: Program Verification- Validation, D.2.5 [Software Engineering, Testing and debugging- Test data generators, I.2.0 [Artificial Intelligence, General- Cognitive simulation, I.2.2 [Artificial Intelligence, Automatic Programming- Program verification, I.2.4 [Artificial Intelligence, Knowledge Representations Formalisms and methods- Frames and scripts, Representation languages, RML, I.2.5 [Artificial Intelligence, Programming Languages and Software- Expert system tools and techniques, I.2.6 [Artificial Intelligence, Learning- Knowledge acquisition, I.2.7 [Artificial Intelligence, Natural Language Processing- Text analysis, I.6.8 [Simulation and Modelling, Types of Simu

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3989; http://www.soi.city.ac.uk/homes/till/wp31.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3989
http://www.soi.city.ac.uk/homes/till/wp31.ps