Correlating automatic static analysis and mutation testing: towards incremental strategies
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2195-1721
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Correlating automatic static analysis and mutation testing: towards incremental strategies ; volume:4 ; number:1 ; day:3 ; month:11 ; year:2016 ; pages:1-32 ; date:12.2016
Journal of Software Engineering Research and Development ; 4, Heft 1 (3.11.2016), 1-32, 12.2016
- Urheber
-
Araújo, Cláudio A.
- Beteiligte Personen und Organisationen
-
Delamaro, Marcio E.
Maldonado, José C.
Vincenzi, Auri M. R.
SpringerLink (Online service)
- DOI
-
10.1186/s40411-016-0031-8
- URN
-
urn:nbn:de:1111-2016112819443
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Araújo, Cláudio A.
- Delamaro, Marcio E.
- Maldonado, José C.
- Vincenzi, Auri M. R.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Distribution of incremental static stress caused by earthquakes
An Incremental Map Building Approach via Static Stixel Integration
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Automatic Computation of Linear Magneto-Hydro-Static Equilibria
Correlating messy data with "correlate"
Bounded incremental computation
Incremental speech translation
Incremental partial deduction
Incremental risk vulnerability
Incremental ontology extension
Incremental risk vulnerability
Incremental holistic controller
Distribution of incremental static stress caused by earthquakes
An Incremental Map Building Approach via Static Stixel Integration
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Automatic Computation of Linear Magneto-Hydro-Static Equilibria
Correlating messy data with "correlate"
Bounded incremental computation
Incremental speech translation
Incremental partial deduction
Incremental risk vulnerability
Incremental ontology extension
Incremental risk vulnerability
Incremental holistic controller
Distribution of incremental static stress caused by earthquakes
An Incremental Map Building Approach via Static Stixel Integration
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Automatic Computation of Linear Magneto-Hydro-Static Equilibria
Correlating messy data with "correlate"
Bounded incremental computation
Incremental speech translation
Incremental partial deduction
Incremental risk vulnerability
Incremental ontology extension
Incremental risk vulnerability