A meta heuristic for effectively detecting concurrency errors

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

Volumn 5394 LNCS, Issue , 2009, Pages 23-37

  Rungta, Neha ^a   Mercer, Eric G ^a  

^a 3361 TMCB   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX COMPUTATION; CONCURRENCY ERRORS; CONCURRENT ARCHITECTURE; CONCURRENT PROGRAM; DEPTH FIRST SEARCH; INPUT SEQUENCE; METAHEURISTIC; MODEL CHECKER; POINTS OF INTEREST; RANKING SYSTEM; SCHEDULING DECISIONS; STATE OF THE ART;

ERRORS; HEURISTIC METHODS; HEURISTIC PROGRAMMING; LOCATION; MODEL CHECKING; STATIC ANALYSIS;

CONCURRENCY CONTROL;

EID: 67650299190     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01702-5_8     Document Type: Conference Paper

References (24)

1. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Proc. PLDI, pp. 234-245. ACM, New York (2002) (Pubitemid 34991522)
2. Engler, D., Ashcraft, K.: RacerX: effective, static detection of race conditions and deadlocks. In: SOSP 2003: Proceedings of the nineteenth ACM symposium on Operating systems principles, pp. 237-252. ACM Press, New York (2003) (Pubitemid 40929700)
3. Hovemeyer, D., Pugh, W.: Finding bugs is easy. SIGPLAN Not. 39(12), 92-106 (2004) (Pubitemid 40303302)
4. Artho, C., Biere, A.: Applying static analysis to large-scale, multi-threaded java programs. In: Proc. ASWEC, Washington, DC, USA, p. 68. IEEE Computer Society, Los Alamitos (2001)
5. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
6. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proc. ASE, Grenoble, France (September 2000)
7. Edelkamp, S., Lafuente, A.L., Leue, S.: Directed explicit model checking with HSFSPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.2057, p. 57. Springer, Heidelberg (2001) (Pubitemid 33276263)
8. Groce, A., Visser, W.: Model checking Java programs using structural heuristics. In: Proc. ISSTA, pp. 12-21 (2002)
9. Rungta, N., Mercer, E.G.: A context-sensitive structural heuristic for guided search model checking. In: Proc. ASE, Long Beach, California, USA, November 2005, pp. 410-413 (2005)
10. Rungta, N., Mercer, E.G.: An improved distance heuristic function for directed software model checking. In: Proc. FMCAD, Washington, DC, USA, pp. 60-67. IEEE Computer Society, Los Alamitos (2006) (Pubitemid 47159925)
11. Rungta, N., Mercer, E.G.: Guided model checking for programs with polymorphism. In: Proc. PEPM, Savannah, Georgia, USA (2009) (to appear)
12. Williams, A., Thies, W., Ernst, M.D.: Static deadlock detection for Java libraries. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.3586, pp. 602-629. Springer, Heidelberg (2005) (Pubitemid 41435999)
13. Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: IPDPS 2003: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, Washington, DC, USA, p. 286.2. IEEE Computer Society Press, Los Alamitos (2003)
14. Rungta, N., Mercer, E.G.: Generating counter-examples through randomized guided search. In: Bǒsnǎcki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.4595, pp. 39-57. Springer, Heidelberg (2007)
15. Dwyer, M.B., Person, S., Elbaum, S.: Controlling factors in evaluating pathsensitive error detection techniques. In: Proc. FSE 2006, pp. 92-104. ACM Press, New York (2006) (Pubitemid 47129388)
16. Dwyer, M.B., Elbaum, S., Person, S., Purandare, R.: Parallel randomized statespace search. In: Proc. ICSE 2007, Washington, DC, USA, pp. 3-12. IEEE Computer Society, Los Alamitos (2007)
17. Rungta, N., Mercer, E.G.: Hardness for explicit state software model checking benchmarks. In: Proc. SEFM 2007, London, U.K, September 2007, pp. 247-256 (2007)
18. Havelund, K.: Using runtime analysis to guide model checking of java programs. In: Proc. SPIN Workshop, London, UK, pp. 245-264. Springer, Heidelberg (2000)
19. Shacham, O., Sagiv, M., Schuster, A.: Scaling model checking of dataraces using dynamic information. J. Parallel Distrib. Comput. 67(5), 536-550 (2007) (Pubitemid 46528107)
20. Edelkamp, S., Mehler, T.: Byte code distance heuristics and trail direction for model checking Java programs. In: Proc. MoChArt, pp. 69-76 (2003)
21. Edelkamp, S., Lafuente, A.L., Leue, S.: Trail-directed model checking. In: Stoller, S.D., Visser, W. (eds.) ENTCS, vol.55. Elsevier Science Publishers, Amsterdam (2001)
22. Harvey, C., Strooper, P.: Testing Java monitors through deterministic execution. In: Proc. ASWEC, Washington, DC, USA, p. 61. IEEE Computer Society, Los Alamitos (2001)
23. Nanshi, K., Somenzi, F.: Guiding simulation with increasingly refined abstract traces. In: Proc. DAC, pp. 737-742. ACM, New York (2006)
24. Paula, F.M.D., Hu, A.J.: An effective guidance strategy for abstraction-guided simulation. In: Proc. DAC 2007, pp. 63-68. ACM, New York (2007) (Pubitemid 47129927)