Proving Reachability Using FShell - (Competition Contribution).

Proving Reachability Using FShell - (Competition Contribution).

FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the declarative specification language FQL (FShell Query Language), an efficient back end for computing test data, and a mathemat...

書誌詳細
主要な著者:	Holzer, A, Kroening, D, Schallhart, C, Tautschnig, M, Veith, H
その他の著者:	Flanagan, C
フォーマット:	Journal article
言語:	English
出版事項:	Springer 2012

類似資料

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
著者:: Holzer, A, 等
出版事項: (2008)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
著者:: Holzer, A, 等
出版事項: (2008)

An Introduction to Test Specification in FQL.
著者:: Holzer, A, 等
出版事項: (2010)

Query-Driven Program Testing.
著者:: Holzer, A, 等
出版事項: (2009)

How did you specify your test suite ?
著者:: Holzer, A, 等
出版事項: (2010)

Query−Driven Program Testing
著者:: Holzer, A, 等
出版事項: (2009)

How did you specify your test suite.
著者:: Holzer, A, 等
出版事項: (2010)

An Introduction to Test Specification in FQL
著者:: Holzer, A, 等
出版事項: (2011)

Seamless Testing for Models and Code.
著者:: Holzer, A, 等
出版事項: (2011)

Seamless Testing for Models and Code
著者:: Holzer, A, 等
出版事項: (2015)

Proving the Correctness of Pipelined Micro−Architectures
著者:: Kroening, D, 等
出版事項: (2000)

Proving the Correctness of Processors with Delayed Branch using Delayed PC
著者:: Mueller, S, 等
出版事項: (2000)

Accurate Theorem Proving for Program Verification
著者:: Cook, B, 等
出版事項: (2006)

Cogent: Accurate theorem proving for program verification
著者:: Cook, B, 等
出版事項: (2005)

Proving safety with trace automata and bounded model checking
著者:: Kroening, D, 等
出版事項: (2015)

Functional Reachability
著者:: Ong, C, 等
出版事項: (2009)

CBMC – C bounded model checker
著者:: Kroening, D, 等
出版事項: (2014)

Proving predatory pricing in European Union Competition law
著者:: Ana Pošćić
出版事項: (2012-01-01)

On affine reachability problems
著者:: Jaax, S, 等
出版事項: (2020)

Reachability Switching Games
著者:: John Fearnley, 等
出版事項: (2021-04-01)

Constraint-based reachability
著者:: Arnaud Gotlieb, 等
出版事項: (2013-02-01)

Expected Reachability-Time Games.
著者:: Forejt, V, 等
出版事項: (2010)

Expected Reachability−Time Games
著者:: Forejt, V, 等
出版事項: (2010)

Expected reachability-time games
著者:: Forejt, V, 等
出版事項: (2016)

Reachability Analysis for Annotated Code
著者:: Janota, M, 等
出版事項: (2007)

Minimal Reachability is Hard to Approximate
著者:: Jadbabaie, A, 等
出版事項: (2023)

Verification Across Intellectual Property Boundaries.
著者:: Chaki, S, 等
出版事項: (2007)

Proactive Detection of Computer Worms Using Model Checking.
著者:: Kinder, J, 等
出版事項: (2010)

Reachability in pushdown register automata
著者:: Murawski, A, 等
出版事項: (2017)

Revisiting reachability in timed automata
著者:: Quaas, K, 等
出版事項: (2017)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
著者:: Seyoung Kim, 等
出版事項: (2023-01-01)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
著者:: Bauer, A, 等
出版事項: (2010)

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
著者:: Bauer, A, 等
出版事項: (2007)

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
著者:: Bauer, A, 等
出版事項: (2010)

Adding Edges for Maximizing Weighted Reachability
著者:: Federico Corò, 等
出版事項: (2020-03-01)

Reachability−Time Games on Timed Automata
著者:: Jurdzinski, M, 等
出版事項: (2007)

V2c – A Verilog to C translator
著者:: Mukherjee, R, 等
出版事項: (2016)

Partial orders for efficient bounded model checking of concurrent software
著者:: Alglave, J, 等
出版事項: (2013)

Reachability and liveness in parametric timed automata
著者:: Étienne André, 等
出版事項: (2022-02-01)

All-Path Reachability Logic
著者:: Andrei Stefanescu, 等
出版事項: (2019-04-01)