Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination, deadlock, and divergence
Journal of the ACM (JACM)
On the mechanical derivation of loop invariants
Journal of Symbolic Computation - Special issue on automatic programming
Deriving programs using generic algorithms
IBM Systems Journal
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Induction Proofs with Partial Functions
Journal of Automated Reasoning
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Improved method to generate path-wise test data
Journal of Computer Science and Technology
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Automated black-box testing of functional correctness using function approximation
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Predicate Transformers as Homomorphisms on Scott's Information Systems
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Design and verification of fault tolerant systems with CSP
Distributed Computing
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Computational Logic (TOCL)
Mathematics and Computers in Simulation
Finding models for blocked 3-SAT problems in linear time by systematical refinement of a sub-model
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A learning-based approach to unit testing of numerical software
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Proof abstraction for imperative languages
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Verification conditions for source-level imperative programs
Computer Science Review
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
The ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Expressibility Of The Semantics Of Sequential Programs In First-Order Logic
Fundamenta Informaticae
| Hi-index | 0.00 |