Automated workarounds from Java program specifications based on SAT solving (English)
- New search for: Uva, Marcelo
- New search for: Ponzio, Pablo
- New search for: Regis, Germán
- New search for: Aguirre, Nazareno
- New search for: Frias, Marcelo F.
- New search for: Uva, Marcelo
- New search for: Ponzio, Pablo
- New search for: Regis, Germán
- New search for: Aguirre, Nazareno
- New search for: Frias, Marcelo F.
In:
International Journal on Software Tools for Technology Transfer
;
20
, 6
; 665-688
;
2018
-
ISSN:
- Article (Journal) / Print
-
Title:Automated workarounds from Java program specifications based on SAT solving
-
Contributors:Uva, Marcelo ( author ) / Ponzio, Pablo ( author ) / Regis, Germán ( author ) / Aguirre, Nazareno ( author ) / Frias, Marcelo F. ( author )
-
Published in:International Journal on Software Tools for Technology Transfer ; 20, 6 ; 665-688
-
Publisher:
- New search for: Springer Berlin Heidelberg
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2018
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
Table of contents – Volume 20, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 611
-
Software quality tools and techniques presented in FASE’17Huisman, Marieke / Rubin, Julia et al. | 2018
- 615
-
Tactical contract composition for hybrid system component verificationMüller, Andreas / Mitsch, Stefan / Retschitzegger, Werner / Schwinger, Wieland / Platzer, André et al. | 2018
- 645
-
Slicing ATL model transformations for scalable deductive verification and fault localizationCheng, Zheng / Tisi, Massimo et al. | 2018
- 665
-
Automated workarounds from Java program specifications based on SAT solvingUva, Marcelo / Ponzio, Pablo / Regis, Germán / Aguirre, Nazareno / Frias, Marcelo F. et al. | 2018
- 689
-
Learning probabilistic models for model checking: an evolutionary approach and an empirical studyWang, Jingyi / Sun, Jun / Yuan, Qixia / Pang, Jun et al. | 2018
- 705
-
Automated reasoning for attributed graph propertiesSchneider, Sven / Lambers, Leen / Orejas, Fernando et al. | 2018
- 739
-
Slicing from formal semantics: Chisel—a tool for generic program slicingAsăvoae, Irina Măriuca / Asăvoae, Mihail / Riesco, Adrián et al. | 2018