Specifications for free

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6617 LNCS, Issue , 2011, Pages 2-12

  Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EXISTING SYSTEMS; REAL-WORLD; SEAMLESS INTEGRATION; SOFTWARE VALIDATION; SPECIFICATION MINING; STATE OF THE ART; WRITING SPECIFICATIONS;

NASA; SPECIFICATIONS; VERIFICATION;

FORMAL METHODS;

EID: 79955033738     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20398-5_2     Document Type: Conference Paper

References (15)

1. Ammons, G., Bodík, R., Larus, J.R.: Mining specifications. In: Proc. POPL 2002, pp. 4-16. ACM, New York (2002)
2. Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. STTT 7(3), 212-232 (2005)
3. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50, 752-794 (2003)
4. Csallner, C., Tillmann, N., Smaragdakis, Y.: DySy: dynamic symbolic execution for invariant inference. In: Proc. ICSE 2008, pp. 281-290. ACM, New York (2008)
5. Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA 2010, pp. 85-96. ACM, New York (2010)
6. Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE TSE 27(2), 99-123 (2002)
7. Flanagan, C., Leino, K.R.M.: Houdini, an Annotation Assistant for ESC/Java. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 500-517. Springer, Heidelberg (2001)
8. Ghezzi, C., Mocci, A., Monga, M.: Synthesizing intensional behavior models by graph transformation. In: Proc. ICSE 2009, pp. 430-440. IEEE Computer Society, Washington, DC (2009)
9. Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proc. PLDI 2005, pp. 213-223. ACM, New York (2005)
10. Henkel, J., Diwan, A.: Discovering algebraic specifications from Java classes. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 431-456. Springer, Heidelberg (2003)
11. McMinn, P.: Search-based software test data generation: a survey. Software Testing, Verification & Reliability 14(2), 105-156 (2004)
12. Pacheco, C., Ernst, M.D.: Eclat: Automatic generation and classification of test inputs. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 504-527. Springer, Heidelberg (2005)
13. Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: Proc. ICSE 2007, pp. 75-84. IEEE Computer Society, Washington, DC (2007)
14. Polikarpova, N., Ciupa, I., Meyer, B.: A comparative study of programmer-written and automatically inferred contracts. In: Proc. ISSTA 2009, pp. 93-104. ACM, New York (2009)
15. Shoham, S., Yahav, E., Fink, S., Pistoia, M.: Static specification mining using automata-based abstractions. In: Proc. ISSTA 2007, pp. 174-184. ACM, New York (2007)