Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

Bernhard Aichernig; Elisabeth Jöbstl

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

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	Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)
Publisher	IEEE Computer Society
Pages	752-757
ISBN (Print)	978-1-4577-1906-6
Publication status	Published - 2012
Event	4th IEEE International Conference on Software Testing, Verification and Validation: ICST 2012 - Montreal, Canada Duration: 17 Apr 2012 → 21 Apr 2012

Conference

Conference	4th IEEE International Conference on Software Testing, Verification and Validation
Country/Territory	Canada
City	Montreal
Period	17/04/12 → 21/04/12
Other	Workshop on Constraints in Software Testing, Verification, and Validation

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

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

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. / Aichernig, Bernhard; Jöbstl, Elisabeth.
Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, 2012. p. 752-757.

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

Aichernig, B & Jöbstl, E 2012, Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. in Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, pp. 752-757, 4th IEEE International Conference on Software Testing, Verification and Validation, Montreal, Canada, 17/04/12.

@inproceedings{02d60e7e914d40dd8841caf773565be0,

title = "Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints",

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

year = "2012",

language = "English",

isbn = "978-1-4577-1906-6",

pages = "752--757",

booktitle = "Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)",

publisher = "IEEE Computer Society",

address = "United States",

note = "4th IEEE International Conference on Software Testing, Verification and Validation : ICST 2012 ; Conference date: 17-04-2012 Through 21-04-2012",

}

TY - GEN

T1 - Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

PY - 2012

Y1 - 2012

M3 - Conference paper

SN - 978-1-4577-1906-6

SP - 752

EP - 757

BT - Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)

PB - IEEE Computer Society

T2 - 4th IEEE International Conference on Software Testing, Verification and Validation

Y2 - 17 April 2012 through 21 April 2012

ER -

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Projects

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

Cite this