ParSym: Parallel symbolic execution

ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings

Volumn 1, Issue , 2010, Pages

  Siddiqui, Junaid Haroon ^a   Khurshid, Sarfaz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ORDERS OF MAGNITUDE; PARALLEL IMPLEMENTATIONS; PARALLEL VERSION; PATH CONDITION; SOFTWARE ANALYSIS; SOFTWARE SYSTEMS; SYMBOLIC EXECUTION;

DATA FLOW ANALYSIS; PARALLEL ALGORITHMS; PARALLEL ARCHITECTURES;

CLUSTERING ALGORITHMS;

EID: 78649999061     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTE.2010.5608866     Document Type: Conference Paper

References (26)

1. th Int. Conf. Comput. Aided Verification (CAV), 2007, pp. 298-302.
2. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: Automated Testing based on Java Predicates," in Proc. 2002 Int. Symp. Softw. Testing and Analysis (ISSTA), 2002, pp. 123-133.
3. rd Int. Conf. Automated Softw. Eng. (ASE), 2008, pp. 443-446.
4. W. R. Bush, J. D. Pincus, and D. J. Sielaff, "A Static Analyzer for Finding Dynamic Programming Errors," Softw. Pract. Exper., vol. 30, no. 7, pp. 775-802, Jun. 2000.
5. th Symp. Operating Syst. Design and Implementation (OSDI), 2008, pp. 209-224.
6. th Conf. Comput. and Commun. Security (CCS), 2006, pp. 322-335.
7. rd joint meeting of the Euro. Softw. Eng. Conf. and Symp. Foundations of Softw. Eng. (ESEC/FSE), 2001, pp. 142-151.
8. M. B. Dwyer et al., "Parallel Randomized State-Space Search," in Proc. 2007 Int. Conf. Softw. Eng. (ICSE), 2007, pp. 3-12.
9. C. Flanagan et al, "Extended Static Checking for Java," in Proc. 2002 Conf. Prog. Lang. Design and Implementation (PLDI), 2002, pp. 234-245.
10. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," in Proc. 2005 Conf. Prog. Lang. Design and Implementation (PLDI), 2005, pp. 213-223.
11. A. Grama et al., Introduction to Parallel Computing, 2nd ed. Addison Wesley, 2003.
12. G. J. Holzmann, "The Model Checker SPIN," IEEE Trans. Softw. Eng, vol. 23, no. 5, pp. 279-295, May 1997.
13. M. D. Jones and J. Sorber, "Parallel Search for LTL Violations," Int. J. Softw. Tools Technol. Transfi, vol. 7, no. 1, pp. 31-42, Feb. 2005.
14. th Int. Conf. Tools and Algorithms for the Construction and Analysis of Syst. (TACAS), 2003, pp. 553-568.
15. J. C. King, "Symbolic Execution and Program Testing," Commun. ACM, vol. 19, no. 7, pp. 385-394, Jul. 1976.
16. R. Kumar and E. G. Mercer, "Load Balancing Parallel Explicit State Model Checking," Electr. Notes Theor. Comput. Sci., vol. 128, no. 3, pp. 19-34, Apr. 2005.
17. th USENIX Security Symp., 2003, p. 9.
18. th Int. SPIN Workshop on Model Checking of Softw., 1999, pp. 22-39.
19. thInt. SPIN Workshop on Model Checking of Softw., 2001, pp. 80-102.
20. th joint meeting of the Euro. Softw. Eng. Conf. and Symp. Foundations of Softw. Eng. (ESEC/FSE), 2007, pp. 135-144.
21. th Int. Conf. Compiler Construction (CC), 2002, pp. 213-228.
22. nd Int. Conf. Formal Techniques for Networked and Distributed Syst. (FORTE), 2002, p. 370.
23. th joint meeting of the Euro. Softw. Eng. Conf. and Symp. Foundations of Softw. Eng. (ESEC/FSE), 2005, pp. 263-272.
24. nd Int. Conf. Softw. Testing Verification and Validation (ICST), 2009, pp. 250-259.
25. th Int. Conf. Comput. Aided Verification, 1997, pp. 256-278.
26. W. Visser et al., "Model Checking Programs," Automated Softw. Eng. J., vol. 10, no. 2, pp. 203-232, Apr. 2003.