An Introduction to Test Specification in FQL

An Introduction to Test Specification in FQL

Show other versions (1)

Bibliographic Details
Main Authors:	Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Format:	Conference item
Published:	Springer 2011

Similar Items

An Introduction to Test Specification in FQL.
by: Holzer, A, et al.
Published: (2010)

Query-Driven Program Testing.
by: Holzer, A, et al.
Published: (2009)

Query−Driven Program Testing
by: Holzer, A, et al.
Published: (2009)

How did you specify your test suite.
by: Holzer, A, et al.
Published: (2010)

How did you specify your test suite ?
by: Holzer, A, et al.
Published: (2010)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
by: Holzer, A, et al.
Published: (2008)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
by: Holzer, A, et al.
Published: (2008)

Seamless Testing for Models and Code.
by: Holzer, A, et al.
Published: (2011)

Seamless Testing for Models and Code
by: Holzer, A, et al.
Published: (2015)

Proving Reachability Using FShell - (Competition Contribution).
by: Holzer, A, et al.
Published: (2012)

Verification Across Intellectual Property Boundaries.
by: Chaki, S, et al.
Published: (2007)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
by: Bauer, A, et al.
Published: (2010)

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
by: Bauer, A, et al.
Published: (2010)

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
by: Bauer, A, et al.
Published: (2007)

Short Regular Expressions from Finite Automata: Empirical Results
by: Gruber, H, et al.
Published: (2009)

Proactive Detection of Computer Worms Using Model Checking.
by: Kinder, J, et al.
Published: (2010)

Detecting Malicious Code by Model Checking.
by: Kinder, J, et al.
Published: (2005)

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.
by: Jha, S, et al.
Published: (2007)

Semantic integrity in large-scale online simulations.
by: Jha, S, et al.
Published: (2010)

Timely Time Estimates
by: Holzer, A, et al.
Published: (2010)

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.
by: Januzaj, V, et al.
Published: (2010)

Tools for Test Case Generation.
by: Belinfante, A, et al.
Published: (2004)

Specification writing : an introduction /
by: 353367 Scott, John J.
Published: (1984)

COLA – The component language
by: Kugele, S, et al.
Published: (2007)

Introduction: General-to-Specific Modelling.
by: Campos, J, et al.
Published: (2005)

An introduction to formal specification and Z /
by: 377490 Potter, Ben, et al.
Published: (1991)

A Benchmarking Suite for Measurement−Based WCET Analysis Tools
by: Bünte, S, et al.
Published: (2015)

Introduction to software testing /
by: 244917 Ammann, Paul, et al.
Published: (2008)

Assessment and testing : an introduction /
by: 417713 Schofield, Harry
Published: (1972)

Introduction to VLSI testing/
by: 305127 Feugate, Robert J.
Published: (1988)

Psychological testing : an introduction /
by: Domino, George, 1938-, et al.
Published: (2006)

Statistics : an introduction to tests of significance /
by: 280209 Backhouse, J. M.
Published: (1971)

Specifics in the introduction of sustainability reporting by companies in the forestry sector
by: M. Ševčík, et al.
Published: (2014-06-01)

Software engineering & testing : an introduction /
by: 502203 Agarwal, B. B., et al.
Published: (2010)

Comparing specification tests and classical tests
by: Hausman, Jerry A., et al.
Published: (2011)

Compatibility and reuse in component−based systems via type and unit inference
by: Kühnel, C, et al.
Published: (2007)

Specification tests in econometrics
by: Hausman, Jerry A.
Published: (2011)

An introduction to sets, probability and hypothesis testing /
by: 212043 Fehr, Howard Franklin, et al.
Published: (1964)

An introduction to application specific integrated circuits /
by: 351398 Haskard, Malcolm R.
Published: (1990)

Psychological testing and assessment : an introduction to tests and measurement /
by: 416341 Cohen, Ronald Jay, et al.
Published: (c201)