Code mutation in verification and automatic code correction

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

Volumn 6015 LNCS, Issue , 2010, Pages 435-450

  Katz, Gal ^a   Peled, Doron ^a  

^a BAR ILAN UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY SUBSETS; AUTOMATIC CODES; BUILDING BLOCKES; CODE MUTATION; COMMUNICATION PROTOCOLS; DUAL-TASKS; FINITE STATE SYSTEMS; GENETIC PROCESS; MULTIPARTY INTERACTION; PARAMETRIC METHOD; PARAMETRIC SYSTEMS; SIDE EFFECT; SPECIFIC VALUES; SYNTHESIS TOOL; MULTI-PARTY INTERACTIONS;

COMMUNICATION; COMPUTER SOFTWARE; GENETIC PROGRAMMING; MODEL CHECKING; CODES (SYMBOLS); ERRORS; GENETIC ALGORITHMS; NETWORK ARCHITECTURE;

NETWORK ARCHITECTURE; MODEL CHECKING;

EID: 77951579149     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_36     Document Type: Conference Paper

References (15)

1. Apt, K.R., Kozen, D.: Limits for automatic verification of finite-state concurrent systems. Inf. Process. Lett. 22(6), 307-309 (1986)
2. Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: IEEE Congress on Evolutionary Computation, pp. 162-168 (2008)
3. Buckley, G.N., Silberschatz, A.: An effective implementation for the generalized input-output construct of csp. ACM Trans. Program. Lang. Syst. 5(2), 223-235 (1983)
4. Emerson, E.A., Kahlon, V.: Parameterized model checking of ring-based message passing systems. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol. 3210, pp. 325-339. Springer, Heidelberg (2004)
5. Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666-677 (1978)
6. Holzmann, G.J.: The SPIN Model Checker. Pearson Education, London (2003)
7. Johnson, C.G.: Genetic programming with fitness based on model checking. In: Ebner, M., O'Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114-124. Springer, Heidelberg (2007)
8. Katz, G., Peled, D.: Genetic programming and model checking: Synthesizing new mutual exclusion algorithms. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 33-47. Springer, Heidelberg (2008)
9. Katz, G., Peled, D.: Model checking-based genetic programming with an application to mutual exclusion. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 141-156. Springer, Heidelberg (2008)
10. Katz, G., Peled, D.: Synthesizing solutions to the leader election problem using model checking and genetic programming. In: HVC (2009)
11. Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)
12. Niebert, P., Peled, D., Pnueli, A.: Discriminative model checking. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 504-516. Springer, Heidelberg (2008)
13. Pérez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience 16(12), 1173-1206 (2004)
14. Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: FOCS, pp. 746-757 (1990)
15. Weimer, W., Nguyen, T., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: ICSE, pp. 364-374 (2009)