Integrating the testing, analysis and debugging of programs
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Analysis of concurrent software by cooperative application of static and dynamic techniques
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering
Information Processing Letters
Interactive State-Space Analysis of Concurrent Systems
IEEE Transactions on Software Engineering
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Task interaction graphs for concurrency analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Verification of protocol specificaitons using the CESAR system
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Recent advances in software measurement (abstract and references for talk)
ICSE '90 Proceedings of the 12th international conference on Software engineering
Computing reachable states of parallel programs
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Experimental program analysis: a new program analysis paradigm
Proceedings of the 2006 international symposium on Software testing and analysis
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
XFindBugs: eXtended FindBugs for AspectJ
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Information and Software Technology
| Hi-index | 0.00 |