[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Model-based test prioritization heuristic methods and their evaluation

[ACM Press the 3rd international worksho

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Achieving both model and code coverage with automated gray-box testing

✍ Kicillof, Nicolas; Grieskamp, Wolfgang; Tillmann, Nikolai; Braberman, Victor 📂 Article 📅 2007 🏛 ACM Press ⚖ 714 KB

[ACM Press the 3rd international worksho

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Achieving both model and code coverage with automated gray-box testing

✍ Kicillof, Nicolas; Grieskamp, Wolfgang; Tillmann, Nikolai; Braberman, Victor 📂 Article 📅 2007 🏛 ACM Press ⚖ 714 KB

[ACM Press the 1st ACM international wor

[ACM Press the 1st ACM international workshop - Atlanta, Georgia (2007.11.05-2007.11.05)] Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07 - A survey on model-based testing approaches

✍ Dias Neto, Arilo C.; Subramanyan, Rajesh; Vieira, Marlon; Travassos, Guilherme H 📂 Article 📅 2007 🏛 ACM Press ⚖ 261 KB

[ACM Press the 1st ACM international wor

[ACM Press the 1st ACM international workshop - Atlanta, Georgia (2007.11.05-2007.11.05)] Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07 - A survey on model-based testing approaches

✍ Dias Neto, Arilo C.; Subramanyan, Rajesh; Vieira, Marlon; Travassos, Guilherme H 📂 Article 📅 2007 🏛 ACM Press ⚖ 261 KB

This paper describes a systematic review performed on modelbased testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, t