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:

Neubauer, Johannes;
Windmüller, Stephan;
Steffen, Bernhard

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:

Pol, Jaco;
Ruys, Theo;
Brinke, Steven

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:

Felderer, Michael;
Ramler, Rudolf

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:

Erdogan, Gencer;
Li, Yan;
Runde, Ragnhild;
Seehusen, Fredrik;
Stølen, Ketil

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:

Felderer, Michael;
Schieferdecker, Ina

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:

Bauer, Oliver;
Geske, Maren;
Isberner, Malte

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:

Beyer, Dirk;
Stahlbauer, Andreas

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:

Morse, Jeremy;
Cordeiro, Lucas;
Nicole, Denis;
Fischer, Bernd

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:

Steffen, Bernhard;
Isberner, Malte;
Naujokat, Stefan;
Margaria, Tiziana;
Geske, Maren

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:

Howar, Falk;
Isberner, Malte;
Merten, Maik;
Steffen, Bernhard;
Beyer, Dirk;
Păsăreanu, Corina

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:

Schordan, Markus;
Prantl, Adrian

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:

Steffen, Bernhard;
Howar, Falk;
Isberner, Malte;
Naujokat, Stefan;
Margaria, Tiziana

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:

Carrozza, Gabriella;
Pietrantuono, Roberto;
Russo, Stefano

Publication type:

Article