论文信息 - Automatic calculation of coverage profiles for coverage-based testings - 字舞流文

Automatic calculation of coverage profiles for coverage-based testings

Original papercan be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Informatik

Raimund Kirner | W. Haas

[1] Raimund Kirner,et al. Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation ∗ , 2004 .

[2] Glenford J. Myers,et al. Art of Software Testing , 1979 .

[3] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[4] Raimund Kirner,et al. Measurement-Based Timing Analysis , 2008, ISoLA.

[5] Jonathan P. Bowen,et al. Formalization of software testing criteria using the Z notation , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[6] John Joseph Chilenski,et al. An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion , 2001 .

[7] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..

[8] Sorin Lerner,et al. Automatically proving the correctness of compiler optimizations , 2003, PLDI '03.

[9] Raimund Kirner. Towards Preserving Model Coverage and Structural Code Coverage , 2009, EURASIP J. Embed. Syst..

[10] Raimund Kirner. SCCP/x: a compilation profile to support testing and verification of optimized code , 2007, CASES '07.

[11] Eric Van Wyk,et al. Proving correctness of compiler optimizations by temporal logic , 2002, POPL '02.