| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A multiple case study on risk-based testing in industry
|
Felderer, Michael
|
|
2014
|
16 |
5 |
p. 609-625
|
artikel
|
| 2 |
Analyzing program behavior through active automata learning
|
Bauer, Oliver
|
|
2014
|
16 |
5 |
p. 531-542
|
artikel
|
| 3 |
Applying symbolic bounded model checking to the 2012 RERS greybox challenge
|
Morse, Jeremy
|
|
2014
|
16 |
5 |
p. 519-529
|
artikel
|
| 4 |
Approaches for the combined use of risk analysis and testing: a systematic literature review
|
Erdogan, Gencer
|
|
2014
|
16 |
5 |
p. 627-642
|
artikel
|
| 5 |
A taxonomy of risk-based testing
|
Felderer, Michael
|
|
2014
|
16 |
5 |
p. 559-568
|
artikel
|
| 6 |
BDD-based software verification
|
Beyer, Dirk
|
|
2014
|
16 |
5 |
p. 507-518
|
artikel
|
| 7 |
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges
|
Schordan, Markus
|
|
2014
|
16 |
5 |
p. 493-505
|
artikel
|
| 8 |
Dynamic test planning: a study in an industrial context
|
Carrozza, Gabriella
|
|
2014
|
16 |
5 |
p. 593-607
|
artikel
|
| 9 |
Property-driven benchmark generation: synthesizing programs of realistic structure
|
Steffen, Bernhard
|
|
2014
|
16 |
5 |
p. 465-479
|
artikel
|
| 10 |
Rigorous examination of reactive systems
|
Howar, Falk
|
|
2014
|
16 |
5 |
p. 457-464
|
artikel
|
| 11 |
Risk-based testing via active continuous quality control
|
Neubauer, Johannes
|
|
2014
|
16 |
5 |
p. 569-591
|
artikel
|
| 12 |
Tailored generation of concurrent benchmarks
|
Steffen, Bernhard
|
|
2014
|
16 |
5 |
p. 543-558
|
artikel
|
| 13 |
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges
|
Pol, Jaco van de
|
|
2014
|
16 |
5 |
p. 481-491
|
artikel
|
Tijdschrift beschrijving