2 title = {A
{Test
} {Management
} approach for structured testing
},
3 booktitle = {Achieving
{Software
} {Product
} {Quality
}},
4 publisher = {UTN publishers
},
5 author = {Pol
, M. and van Veenendaal
, Erik
},
6 editor = {van Veenendaal
, Erik and McMullen
, Julie
},
11 title = {Certified
{Tester
}.
{Foundation
} {Level
} {Syllabus
}},
12 author = {Müller
, Thomas
},
13 editor = {Friedenberg
, Debra
},
18 title = {{ISO
}/{IEC
} 9126.
{Software
} engineering –
{Product
} quality
},
19 publisher = {ISO
/IEC
},
25 title = {{ISO
}/{IEC
} 25010:2011.
{Systems
} and software engineering
-- {Systems
} and software
{Quality
} {Requirements
} and
{Evaluation
} ({SQuaRE
}) -- {System
} and software quality models.
},
26 publisher = {ISO
/IEC
},
32 title = {Standard glossary of terms used in
{Software
} {Testing
}},
33 editor = {van Veenendaal
, Erik van
},
38 series = {Request for
{Comments
}},
39 title = {Transmission
{Control
} {Protocol
}},
40 url
= {http
://www.ietf.org
/rfc
/rfc793.txt
},
43 author = {Postel
, J.
},
46 note = {Published
: RFC
793 (INTERNET STANDARD
)
47 Updated by RFCs
1122, 3168, 6093, 6528},
50 @article
{whittaker2000
,
51 title = {What is software testing?
{And
} why is it so hard?
},
53 shorttitle
= {What is software testing?
},
54 url
= {http
://ieeexplore.ieee.org
/xpls
/abs_all.jsp?arnumber
=819971},
56 urldate
= {2015-09-20},
57 journal = {Software
, IEEE
},
58 author = {Whittaker
, James
},
62 @incollection
{belinfante2010jtorx
,
63 title={JTorX
: A tool for on
-line model
-driven test derivation and
65 author={Belinfante
, Axel
},
66 booktitle={Tools and Algorithms for the Construction and Analysis
72 @incollection
{koopman2003gast
,
73 title={Gast
: Generic automated software testing
},
74 author={Koopman
, Pieter and Alimarine
, Artem and Tretmans
, Jan and
76 booktitle={Implementation of Functional Languages
},
82 title = {JTorX
- FMT Tools
},
83 howpublished = {\url
{https
://fmt.ewi.utwente.nl
/redmine
/projects
/jtorx
/wiki
/}},
84 note = {Accessed
: 2015-12-26}