An introduction to test specification in FQL

Authors:
Andreas Holzer;Michael Tautschnig;Christian Schallhart;Helmut Veith
Affiliations:
Vienna University of Technology, Formal Methods in Systems Engineering;Vienna University of Technology, Formal Methods in Systems Engineering;Oxford University Computing Laboratory;Vienna University of Technology, Formal Methods in Systems Engineering
Venue:
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
Year:
2010

Citing 24
Cited 2

Lazy abstraction

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coverage-Directed Test Generation Using Symbolic Techniques

FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
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
Concurrent Bug Patterns and How to Test Them

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Generating Tests from Counterexamples

Proceedings of the 26th International Conference on Software Engineering
Test input generation with java PathFinder

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Generating Efficient Test Sets with a Model Checker

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
DART: directed automated random testing

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
CUTE: a concolic unit testing engine for C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Producing scheduling that causes concurrent programs to fail

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
SYNERGY: a new algorithm for property checking

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Compositional dynamic test generation

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Query-Driven Program Testing

VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Program Analysis with Dynamic Precision Adjustment

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automatic generation of random self-checking test cases

IBM Systems Journal
The UML 2.0 testing profile and its relation to TTCN-3

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Software verification with BLAST

SPIN'03 Proceedings of the 10th international conference on Model checking software
Testing real-time systems using UPPAAL

Formal methods and testing
Proving memory safety of floating-point computations by combining static and dynamic program analysis

Proceedings of the 19th international symposium on Software testing and analysis
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
How did you specify your test suite

Proceedings of the IEEE/ACM international conference on Automated software engineering
A theory of predicate-complete test coverage and generation

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Specifying and generating test cases using observer automata

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing

Proving reachability using FSHELL

TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Information reuse for multi-goal reachability analyses

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test specifications and test generation engines. We believe that establishing a common language for test criteria will have similar benefits to testing as temporal logic had to model checking and SQL had to databases. The main challenge was to find a specification language which is expressive, simple, and precise. This paper gives an introduction to the test specification language FQL and its tool environment.