Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gabriel Baum
Formal Specifications of Software Model Evolution Using Contracts
Related publications
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
CSCW for Preparing Formal Software Specifications: Issues and Implementation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Selection for Object-Oriented Software Based on Formal Specifications
Incremental Validation of Formal Specifications
Automating Software Evolution: Towards Using Constraints With Action for Model Evolution
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
