Information Technology Reference
In-Depth Information
References
1. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge
(1999)
2. Gadkari, A., Yeolekar, A., Suresh, J., Ramesh, S., Mohalik, S., Shashidar, K.C.:
AutoMOTGen: Automatic model oriented test generator for embedded control
systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 204-208.
Springer, Heidelberg (2008)
3. Kroening, D., Clarke, E.M., Yorav, K.: Behavioral consistency of C and Verilog pro-
grams using bounded model checking. In: Design Automation Conference (DAC),
pp. 368-371. ACM, New York (2003)
4. Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: FShell: Systematic test case
generation for dynamic analysis and measurement. In: Gupta, A., Malik, S. (eds.)
CAV 2008. LNCS, vol. 5123, pp. 209-213. Springer, Heidelberg (2008)
5. Angeletti, D., Giunchiglia, E., Narizzano, M., Puddu, A., Sabina, S.: Automatic
test generation for coverage analysis using CBMC. In: Moreno-Dıaz, R., Pichler,
F., Quesada-Arencibia, A. (eds.) Computer Aided Systems Theory - EUROCAST
2009. LNCS, vol. 5717, pp. 287-294. Springer, Heidelberg (2009)
6. Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: Query-driven program testing.
In: Jones, N.D., Muller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 151-166.
Springer, Heidelberg (2009)
7. Ball, T.: A theory of predicate-complete test coverage and generation. In: de Boer,
F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS,
vol. 3657, pp. 1-22. Springer, Heidelberg (2005)
8. Beyer, D., Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: Generating
tests from counterexamples. In: International Conference on Software Engineering
(ICSE), pp. 326-335 (2004)
9. Jia, Y., Harman, M.: An analysis and survey of the development of mutation
testing. IEEE Transactions on Software Engineering, TSE (2010)
10. Kupferman, O., Li, W., Seshia, S.A.: A theory of mutations with applications to
vacuity, coverage, and fault tolerance. In: Formal Methods in Computer-Aided
Design (FMCAD), pp. 1-9. IEEE, Los Alamitos (2008)
11. Ruthruff, J.R., Burnett, M.M., Rothermel, G.: Interactive fault localization tech-
niques in a spreadsheet environment. IEEE Transactions on Software Engineering
(TSE) 32, 213-239 (2006)
12. Schuler, D., Dallmeier, V., Zeller, A.: E
cient mutation testing by checking in-
variant violations. In: International Symposium on Software Testing and Analysis
(ISSTA), pp. 69-80. ACM, New York (2009)
13. Meenakshi, B., Bhatnagar, A., Roy, S.: Tool for translating simulink models into
input language of a model checker. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS,
vol. 4260, pp. 606-620. Springer, Heidelberg (2006)
14. Fehnker, A., Krogh, B.H.: Hybrid system verification is not a sinecure: The elec-
tronic throttle control case study. In: Wang, F. (ed.) ATVA 2004. LNCS, vol. 3299,
pp. 263-277. Springer, Heidelberg (2004)
15. Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of Simulink models using
SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP
2005. LNCS, vol. 3688, pp. 122-135. Springer, Heidelberg (2005)
16. Ryabtsev, M., Strichman, O.: Translation validation: From simulink to c. In:
Bouajjani, A., Maler, O. (eds.) Computer Aided Verification. LNCS, vol. 5643,
pp. 696-701. Springer, Heidelberg (2009)
