Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Real-time object-oriented modeling
Real-time object-oriented modeling
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
A formal approach to reactive systems software: a telecommunications application in ESTEREL
Formal Methods in System Design
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
Proceedings of the 7th International Conference on Computer Aided Verification
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Verisim: Formal analysis of network simulations
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
What packets may come: automata for network monitoring
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Automatic Generation of Test Oracles—From Pilot Studies to Application
Automated Software Engineering
PML: A Language Interface to Distributed Voice-Response Units
ICCL'98 Workshop on Internet Programming Languages
Computer-assisted assume/guarantee reasoning with VeriSoft
Proceedings of the 25th International Conference on Software Engineering
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software
Proceedings of the 19th IEEE international conference on Automated software engineering
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
Empirical Software Engineering
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Validating MAS simulation models with mutation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Lightweight Specification-based Testing of Memory Cards: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |