- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Mutation testing with hyperproperties ; volume:20 ; number:2 ; day:1 ; month:4 ; year:2021 ; pages:405-427 ; date:4.2021
Software and systems modeling ; 20, Heft 2 (1.4.2021), 405-427, 4.2021
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-020-00850-1
- URN
-
urn:nbn:de:101:1-2021053119242612893307
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fellner, Andreas
- Tabaei Befrouei, Mitra
- Weissenbacher, Georg
- SpringerLink (Online service)
Other Objects (12)
Mutation Testing in Python with Cosmic Ray
Towards practical application of mutation testing in industry : traditional versus extreme mutation testing
Test-driven development with mutation testing – an experimental study
Mutation Testing Leaving the Stone Age
Parallel mutation testing for large scale systems
Efficient Active Automata Learning via Mutation Testing
Searching and generating test inputs for mutation testing
Mutta: a novel tool for E2E web mutation testing
Mutation testing in the wild: findings from GitHub
Mutants, tests and zombies: aka mutation testing with Python and a pinch of Ruby
Correlating automatic static analysis and mutation testing: towards incremental strategies
Muta-Pro: Towards the definition of a mutation testing process
Mutation Testing in Python with Cosmic Ray
Towards practical application of mutation testing in industry : traditional versus extreme mutation testing
Test-driven development with mutation testing – an experimental study
Mutation Testing Leaving the Stone Age
Parallel mutation testing for large scale systems
Efficient Active Automata Learning via Mutation Testing
Searching and generating test inputs for mutation testing
Mutta: a novel tool for E2E web mutation testing
Mutation testing in the wild: findings from GitHub
Mutants, tests and zombies: aka mutation testing with Python and a pinch of Ruby
Correlating automatic static analysis and mutation testing: towards incremental strategies
Muta-Pro: Towards the definition of a mutation testing process
Mutation Testing in Python with Cosmic Ray
Towards practical application of mutation testing in industry : traditional versus extreme mutation testing
Test-driven development with mutation testing – an experimental study
Mutation Testing Leaving the Stone Age
Parallel mutation testing for large scale systems
Efficient Active Automata Learning via Mutation Testing
Searching and generating test inputs for mutation testing
Mutta: a novel tool for E2E web mutation testing
Mutation testing in the wild: findings from GitHub
Mutants, tests and zombies: aka mutation testing with Python and a pinch of Ruby
Correlating automatic static analysis and mutation testing: towards incremental strategies