Consumer health on the World-Wide Web: gold or gilt?
Health Care on the Internet
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
The synthesis of loop predicates
Communications of the ACM
Proving assertions about programs that manipulate data structures
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
A new approach to program testing
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Verifying programs by algebraic and logical reduction
Proceedings of the international conference on Reliable software
Automatic program verification I: a logical basis and its implementation.
Automatic program verification I: a logical basis and its implementation.
A program verifier
Mathematical Theory of Computation
Mathematical Theory of Computation
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
Interpretation in a tool-fragment environment
ICSE '88 Proceedings of the 10th international conference on Software engineering
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
Using symbolic execution for verification of Ada tasking programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Design of sytems with concurrent error detection using software redundancy
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ada-based abstract machine specification of CAIS to generate validation tests
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Some factors affecting program repair maintenance: an empirical study
Communications of the ACM
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Test-Case Generation with IOGen
IEEE Software
Comments on 'Temporal Logic-Based Deadlock Analysis for Ada' by G.M. Karam and R.J.A. Burh
IEEE Transactions on Software Engineering
Logic versus mathematics in computer science education
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
ICSE '84 Proceedings of the 7th international conference on Software engineering
Symbolic simulation for functional verification with ADLIB and SDL
DAC '81 Proceedings of the 18th Design Automation Conference
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
Tutorial session 3B: Prospects for program verification
ICSE '78 Proceedings of the 3rd international conference on Software engineering
“Recommended mathematical topics for computer science majors”
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
Factored Specifications In The Synthesis Of LISP Functions
ACM '78 Proceedings of the 1978 annual conference
Automatic synthesis of optimal invariant assertions: Mathematical foundations
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
GAIN: An interactive program for teaching interactive computer graphics programming
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Assertional checking and symbolic execution: An effective combination for debugging
ACM '79 Proceedings of the 1979 annual conference
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
ACM SIGPLAN Notices
On formal and informal proofs for program correctness
ACM SIGPLAN Notices
Structuring control in Fortran
ACM SIGPLAN Notices
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Program reduction using symbolic execution
ACM SIGSOFT Software Engineering Notes
Customised Induction Rules for Proving Correctness of Imperative Programs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Using model checking with symbolic execution to verify parallel numerical programs
Proceedings of the 2006 international symposium on Software testing and analysis
A new script language applicable to symbolic execution systems
International Journal of Computers and Applications
Protection Against External Errors in a Dedicated System
IEEE Transactions on Computers
Combining symbolic execution with model checking to verify parallel numerical programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated deduction for verification
ACM Computing Surveys (CSUR)
Computation of equilibriain noncooperative games
Computers & Mathematics with Applications
Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Enhancing spark's contract checking facilities using symbolic execution
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
A symbolic analysis framework for static analysis of imperative programming languages
Journal of Systems and Software
Loop invariant symbolic execution for parallel programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Efficient and formal generalized symbolic execution
Automated Software Engineering
Symbolic execution of concurrent systems using Petri nets
Computer Languages
| Hi-index | 0.02 |