Works matching IS 14332779 AND DT 2014 AND VI 16 AND IP 5
Results: 13
Risk-based testing via active continuous quality control.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 569, doi. 10.1007/s10009-014-0321-6
- By:
- Publication type:
- Article
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 481, doi. 10.1007/s10009-014-0324-3
- By:
- Publication type:
- Article
A multiple case study on risk-based testing in industry.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 609, doi. 10.1007/s10009-014-0328-z
- By:
- Publication type:
- Article
Approaches for the combined use of risk analysis and testing: a systematic literature review.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 627, doi. 10.1007/s10009-014-0330-5
- By:
- Publication type:
- Article
A taxonomy of risk-based testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 559, doi. 10.1007/s10009-014-0332-3
- By:
- Publication type:
- Article
Analyzing program behavior through active automata learning.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 531, doi. 10.1007/s10009-014-0333-2
- By:
- Publication type:
- Article
BDD-based software verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 507, doi. 10.1007/s10009-014-0334-1
- By:
- Publication type:
- Article
Applying symbolic bounded model checking to the 2012 RERS greybox challenge.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 519, doi. 10.1007/s10009-014-0335-0
- By:
- Publication type:
- Article
Property-driven benchmark generation: synthesizing programs of realistic structure.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 465, doi. 10.1007/s10009-014-0336-z
- By:
- Publication type:
- Article
Rigorous examination of reactive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 457, doi. 10.1007/s10009-014-0337-y
- By:
- Publication type:
- Article
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 493, doi. 10.1007/s10009-014-0338-x
- By:
- Publication type:
- Article
Tailored generation of concurrent benchmarks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 543, doi. 10.1007/s10009-014-0339-9
- By:
- Publication type:
- Article
Dynamic test planning: a study in an industrial context.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 593, doi. 10.1007/s10009-014-0319-0
- By:
- Publication type:
- Article