Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Markov chain techniques for software testing and reliability analysis
Markov chain techniques for software testing and reliability analysis
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Operational Profiles in Software-Reliability Engineering
IEEE Software
On Statistical Structural Testing of Synchronous Data Flow Programs
EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
Synchronous Observers and the Verification of Reactive Systems
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Expressing and Implementing Operational Profiles for Reactive Software Validation
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
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
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Feature Interaction Detection Using Testing and Model-Checking Experience Report
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Analyzing Testability on Data Flow Designs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Strategies for Automated Specification-Based Testing of Synchronous Software
Proceedings of the 16th IEEE international conference on Automated software engineering
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated 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
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
Formal Testing of Multimodal Interactive Systems
Engineering Interactive Systems
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Lightweight Specification-based Testing of Memory Cards: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Neural networks based automated test oracle for software testing
ICONIP'06 Proceedings of the 13th international conference on Neural information processing - Volume Part III
Attribute reduction based expected outputs generation for statistical software testing
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Hi-index | 0.00 |