An orchestrated survey of methodologies for automated software test case generation
Citations
963 citations
Additional excerpts
...[27], McMinn et al....
[...]
362 citations
Cites background or methods from "An orchestrated survey of methodolo..."
...To report the results, we also took inspiration from recent surveys on related topics such as the oracle problem [3], search–based testing [24], automated test case generation [2] and mutation analysis [25]....
[...]
...This article provides a comprehensive survey on metamorphic testing: It summarises the research results and application areas, and analyses common practice in empirical studies of metamorphic testing as well as the main open challenges....
[...]
317 citations
241 citations
196 citations
Cites background or methods from "An orchestrated survey of methodolo..."
...More recently, more sophisticated approaches (e.g., meta-heuristic approaches such as genetic and ant colony algorithms [175], simulated annealing [69], and tabu search [137]) have been utilized (see References [6, 136] for many additional examples.)...
[...]
...In Reference [6], Harman and colleagues describe what they consider to be the greatest open challenges and opportunities for SBST techniques; we summarize that discussion here....
[...]
...(Several other surveys are also available, including [2, 3, 6, 127, 128]....
[...]
...Anand and colleagues [6] summarize three tools that have been available for nearly 10 years: Conformiq Designer [45, 93]), Smartesting CertifyIt [113, 177]), and Microsoft Spec Explorer [75, 180])....
[...]
...Model-based testing (MBT) involves deriving test suites from models of software systems (see the brief survey by Anand and colleagues [6] and the taxonomy by Utting and colleagues [193])....
[...]
References
6,859 citations
3,502 citations
"An orchestrated survey of methodolo..." refers background in this paper
...Software product lines are sysems of program families that have a well managed asset base and eature model; from which one can derive a CIT model (Cohen t al., 2006; Clements and Northrop, 2001)....
[...]
...There is a long history of research on the mathematics of covering arrays which we do not attempt to cover, but instead refer the reader to two excellent surveys, one by Colbourn (2004) and another by Hartman and Raskin (2004). Mathematical techniques may be probabilistic (i....
[...]
...There is a long history of research on the mathematics of covering arrays which we do not attempt to cover, but instead refer the reader to two excellent surveys, one by Colbourn (2004) and another by Hartman and Raskin (2004)....
[...]
2,896 citations