A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Empirical Software Engineering
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Code based analysis for object-oriented systems
Journal of Computer Science and Technology
Java Test Driver Generation from Object-Oriented Interaction Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating Behavioral Component Interfaces in Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a formal, model-based framework for control systems interaction prototyping
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Formal test generation from UML models
Dependable Systems
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
| Hi-index | 0.01 |