Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 6
Results: 7
Software quality tools and techniques presented in FASE’17.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 611, doi. 10.1007/s10009-018-0504-7
- By:
- Publication type:
- Article
Automated workarounds from Java program specifications based on SAT solving.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 665, doi. 10.1007/s10009-018-0503-8
- By:
- Publication type:
- Article
Tactical contract composition for hybrid system component verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 615, doi. 10.1007/s10009-018-0502-9
- By:
- Publication type:
- Article
Slicing from formal semantics: Chisel—a tool for generic program slicing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 739, doi. 10.1007/s10009-018-0500-y
- By:
- Publication type:
- Article
Automated reasoning for attributed graph properties.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 705, doi. 10.1007/s10009-018-0496-3
- By:
- Publication type:
- Article
Learning probabilistic models for model checking: an evolutionary approach and an empirical study.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 689, doi. 10.1007/s10009-018-0492-7
- By:
- Publication type:
- Article
Slicing ATL model transformations for scalable deductive verification and fault localization.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 645, doi. 10.1007/s10009-018-0491-8
- By:
- Publication type:
- Article