A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Formal methods for verification and validation of partial specifications: a case study
Journal of Systems and Software - Special issue on formal methods technology transfer
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Symbolic Model Checking
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Test Generation for Intelligent Networks Using Model Checking
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Experiments in Theorem Proving and Model Checking for Protocol Verification
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Using SCR to specify requirements of the BART advanced automated train control system
High integrity software
Model exploration with temporal logic query checking
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Model exploration with temporal logic query checking
ACM SIGSOFT Software Engineering Notes
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Applying Practical Formal Methods to the Specification and Analysis of Security Properties
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
Proceedings of the 2003 ACM symposium on Applied computing
Approximations, anomalies and "the proof of correctness wars"
ACM SIGSOFT Software Engineering Notes
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Decompositional Verification of Component-based Systems-A Hybrid Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Generating Regression Tests via Model Checking
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Automated test generation for engineering applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Test input generation for red-black trees using abstraction
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A holistic approach to test-driven model checking
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Test generation using SAT-based bounded model checking for validation of pipelined processors
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on 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
Test input generation for java containers using state matching
Proceedings of the 2006 international symposium on Software testing and analysis
Test generation games from formal specifications
Proceedings of the 43rd annual Design Automation Conference
Developing safety-critical systems: the role of formal methods and tools
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Journal of Systems and Software
Property relevant software testing with model-checkers
ACM SIGSOFT Software Engineering Notes
Automated requirements-based test case generation
ACM SIGSOFT Software Engineering Notes
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
Using production grammars in software testing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Automated Test Generation for Access Control Policies via Change-Impact Analysis
SESS '07 Proceedings of the Third International Workshop on Software Engineering for Secure Systems
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
Using LTL rewriting to improve the performance of model-checker based test-case generation
Proceedings of the 3rd international workshop on Advances in model-based testing
Relating counterexamples to test cases in CTL model checking specifications
Proceedings of the 3rd international workshop on Advances in model-based testing
Test-case prioritization with model-checkers
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
A survey on model-based testing approaches: a systematic review
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
Towards verification and testing of Java programs
Proceedings of the 2008 ACM symposium on Applied computing
The effect of program and model structure on mc/dc test adequacy coverage
Proceedings of the 30th international conference on Software engineering
Requirements-based test case specification by using information from model construction
Proceedings of the 3rd international workshop on Automation of software test
Evaluating test adequacy coverage of high level petri nets using spin
Proceedings of the 3rd international workshop on Automation of software test
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
A rigorous approach towards test case generation
Information Sciences: an International Journal
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Automation of broad sanity test generation
Programming and Computing Software
An Approach to Testing with Embedded Context Using Model Checker
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Requirements Coverage as an Adequacy Measure for Conformance Testing
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Functional test generation using design and property decomposition techniques
ACM Transactions on Embedded Computing Systems (TECS)
An approach to derive the use case diagrams from an event table
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Dynamic Symbolic Execution for Testing Distributed Objects
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Issues in using model checkers for test case generation
Journal of Systems and Software
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Integration of verification methods for program systems
Programming and Computing Software
On the Role of Formal Methods in Software Certification: An Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Managing Complexity in Software Development with Formally Based Tools
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
Redundancy based test-suite reduction
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Generalized symbolic execution for model checking and testing
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Auto-generating test sequences for web applications
ICWE'07 Proceedings of the 7th international conference on Web engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
A logic-based approach to combinatorial testing with constraints
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Functional test generation using efficient property clustering and learning techniques
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A Formal Logic Approach to Constrained Combinatorial Testing
Journal of Automated Reasoning
Error detection rate of MC/DC for a case study from the automotive domain
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Abstraction based automated test generation from formal tabular requirements specifications
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Graded CTL model checking for test generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Automatic verification and conformance testing for validating safety properties of reactive systems
FM'05 Proceedings of the 2005 international conference on Formal Methods
An automata-theoretic approach for model-checking systems with unspecified components
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Deriving acceptance tests from goal requirements
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Dependence testing: extending data flow testing with control dependence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Developing high quality software with formal methods: what else is needed?
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Enabling security testing from specification to code
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Directed test generation for validation of multicore architectures
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
On the danger of coverage directed test case generation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Understanding user understanding: determining correctness of generated program invariants
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 34th International Conference on Software Engineering
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Formal verification and validation of ERTMS industrial railway train spacing system
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
i2MAP: an incremental and iterative modeling and analysis process
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Observable modified Condition/Decision coverage
Proceedings of the 2013 International Conference on Software Engineering
Formalizing correctness criteria of dynamic updates derived from specification changes
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
KATCH: high-coverage testing of software patches
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.00 |
Recently, many formal methods, such as the SCR (Software Cost Reduction) requirements method, have been proposed for improving the quality of software specifications. Although improved specifications are valuable, the ultimate objective of software development is to produce software that satisfies its requirements. To evaluate the correctness of a software implementation, one can apply black-box testing to determine whether the implementation, given a sequence of system inputs, produces the correct system outputs. This paper describes a specification-based method for constructing a suite of test sequences, where a test sequence is a sequence of inputs and outputs for testing a software implementation. The test sequences are derived from a tabular SCR requirements specification containing diverse data types, i.e., integer, boolean, and enumerated types. From the functions defined in the SCR specification, the method forms a collection of predicates called branches, which “cover” all possible software behaviors described by the specification. Based on these predicates, the method then derives a suite of test sequences by using a model checker's ability to construct counterexamples. The paper presents the results of applying our method to four specifications, including a sizable component of a contractor specification of a real system.