Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
SIGSOFT'89 3rd Workshop on Software Testing Verification & Analysis
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Interprocedural static analysis of sequencing constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
TestTube: a system for selective regression testing
ICSE '94 Proceedings of the 16th international conference on Software engineering
The design of a next-generation process language
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Selecting Regression Tests for Object-Oriented Software
ICSM '94 Proceedings of the International Conference on Software Maintenance
A Safe, Efficient Algorithm for Regression Test Selection
ICSM '93 Proceedings of the Conference on Software Maintenance
Programming Process Coordination in Little-JIL
EWSPT '98 Proceedings of the 6th European Workshop on Software Process Technology
The Temporal Semantics of Concurrent Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Flow Analysis for Verifying Specifications of Concurrent and Distributed Software
Flow Analysis for Verifying Specifications of Concurrent and Distributed Software
IEEE Transactions on Software Engineering
Introduction: the first international workshop on self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Technological research plan for active ageing
Information Systems Frontiers
| Hi-index | 0.00 |