Testing techniques based on symbolic evaluation
Proceedings of Centre for Software Reliability Workshop on Software: requirements, specification and testing
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Current trends in concurrency. Overviews and tutorials
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrating testing techniques through process programming
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Conceptual Modeling of Coincident Failures in Multiversion Software
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Run-time consistency checking of algebraic specifications
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A Compositional Approach to Multiparadigm Programming
IEEE Software
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pseudo-oracles for non-testable programs
ACM '81 Proceedings of the ACM '81 conference
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Metric-driven reengineering for static concurrency analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
State-space analysis as an aid to testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
An evaluation of software test environment architectures
Proceedings of the 18th international conference on Software engineering
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th 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
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Structural specification-based testing: automated support and experimental evaluation
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of 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
Continuous self-evaluation for the self-improvement of software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Systematically deriving partial oracles for testing concurrent programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Automatic Generation of Test Oracles—From Pilot Studies to Application
Automated Software Engineering
Analytic Verification of Flight Software
IEEE Intelligent Systems
A New Framework for Testing Real-Time Software
COMPSAC '00 24th International Computer Software and Applications Conference
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Statecharts Supervision Models for Soft Real-Time Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Supervisors for Testing Non-Deterministically Specified Systems
ITC '97 Proceedings of the 1997 IEEE International Test Conference
The Specification-Based Testing of a Trusted Kernel: MK++
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hierarchical Supervisors For Automatic Detection Of Software Failures
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Strategies for Automated Specification-Based Testing of Synchronous Software
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Deadline analysis of interrupt-driven software
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Towards scalable compositional analysis by refactoring design models
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A transition-based strategy for object-oriented software testing
Proceedings of the 2003 ACM symposium on Applied computing
Deadline Analysis of Interrupt-Driven Software
IEEE Transactions 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
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Automated replay and failure detection for web applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Random testing of formal software models and induced coverage
Proceedings of the 1st international workshop on Random testing
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Industrial Evaluation of a Log File Analysis Methodology
WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
Validating system properties exhibited in execution traces
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Smart: a tool for application reference testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A method and tools for large scale scenarios
Automated Software Engineering
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Automatic Generation of Runtime Failure Detectors from Property Templates
Software Engineering for Self-Adaptive Systems
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Testing extended regular language membership incrementally by rewriting
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
Automatically generating predicates and solutions for configuration troubleshooting
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
The influence of multiple artifacts on the effectiveness of software testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Better testing through oracle selection (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Automating image segmentation verification and validation by learning test oracles
Information and Software Technology
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Augmenting automatically generated unit-test suites with regression oracle checking
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
Proceedings of the 34th International Conference on Software Engineering
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
Systematic scenario test case generation for nuclear safety systems
Information and Software Technology
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
| Hi-index | 0.01 |