Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard Aichernig; Elisabeth Jöbstl

doi:10.4204/EPTCS.80.7

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard Aichernig
, Elisabeth Jöbstl

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Model-Based Testing (MBT)
Publisher	.
Pages	88-102
Volume	80
DOIs	https://doi.org/10.4204/EPTCS.80.7
Publication status	Published - 2012
Event	Seventh Workshop on Model-Based Testing (MBT): MBT 2012 - Tallinn, Estonia Duration: 25 Mar 2012 → 25 Mar 2012

Publication series

Name	Electronic Proceedings in Theoretical Computer Science (EPTCS)

Workshop

Workshop	Seventh Workshop on Model-Based Testing (MBT)
Country/Territory	Estonia
City	Tallinn
Period	25/03/12 → 25/03/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Access to Document

10.4204/EPTCS.80.7

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Aichernig, B. (Project manager) & Jöbstl, E. (Attendee / Assistant)
1/03/11 → 28/02/14
Project: Research project

Cite this

@inproceedings{4ebb8d87a75349f2b51e4a954878f55e,

title = "Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking",

author = "Bernhard Aichernig and Elisabeth J{\"o}bstl",

year = "2012",

doi = "10.4204/EPTCS.80.7",

language = "English",

volume = "80",

series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",

publisher = ".",

pages = "88--102",

booktitle = "Model-Based Testing (MBT)",

note = "Seventh Workshop on Model-Based Testing (MBT) : MBT 2012 ; Conference date: 25-03-2012 Through 25-03-2012",

}

TY - GEN

T1 - Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

PY - 2012

Y1 - 2012

U2 - 10.4204/EPTCS.80.7

DO - 10.4204/EPTCS.80.7

M3 - Conference paper

VL - 80

T3 - Electronic Proceedings in Theoretical Computer Science (EPTCS)

SP - 88

EP - 102

BT - Model-Based Testing (MBT)

PB - .

T2 - Seventh Workshop on Model-Based Testing (MBT)

Y2 - 25 March 2012 through 25 March 2012

ER -

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Publication series

Workshop

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Projects

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation

Cite this