BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Germany
1 × Italy
Collaborated with:
T.L.0002 M.Jakobs S.Apel V.O.Mordan V.S.Mutilin A.Stahlbauer
Talks about:
softwar (4) test (4) competit (3) verif (3) comp (3) summari (2) base (2) decomposit (1) reachabl (1) automata (1)

Person: Dirk Beyer 0001

DBLP DBLP: 0001:Dirk_Beyer

Contributed to:

TACAS 20142014
TACAS 20132013
TACAS 20122012
FME 20012001
FSE 20162016
ASE 20192019
FASE 20192019

Wrote 7 papers:

TACAS-2014-Beyer #contest #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
TACAS-2013-Beyer #contest #summary #verification
Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
TACAS-2012-Beyer #contest #verification
Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
FME-2001-Beyer #analysis #automaton #reachability
Improvements in BDD-Based Reachability Analysis of Timed Automata (DB0), pp. 318–343.
FSE-2016-Apel0MMS #composition #model checking #on the fly #specification
On-the-fly decomposition of specifications in software model checking (SA, DB0, VOM, VSM, AS), pp. 349–361.
ASE-2019-BeyerL #execution #metric #named #robust #testing
TestCov: Robust Test-Suite Execution and Coverage Measurement (DB0, TL0), pp. 1074–1077.
FASE-2019-BeyerJ #named #testing
CoVeriTest: Cooperative Verifier-Based Testing (DB0, MCJ), pp. 389–408.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.