Program partitioning: A framework for combining static and dynamic analysis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 11-16

  Jalote, Pankaj ^a   Vangala, Vipindeep ^a   Singh, Taranbir ^a   Jain, Prateek ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

Author keywords

dynamic analysis; program partitioning; static analysis

Indexed keywords

DIFFERENT ANALYSIS TECHNIQUES; HIGHER QUALITY SOFTWARES; PROGRAM PARTITIONING; REDUCED CODE; STATIC AND DYNAMIC ANALYSIS; TESTING DATA;

COMPUTER SOFTWARE; DYNAMIC ANALYSIS; STATIC ANALYSIS;

QUALITY CONTROL;

EID: 77953561395     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138912.1138916     Document Type: Conference Paper

References (15)

1. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software Practice and Experience, 30(7):775-802, 2000.
2. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from java source code. In International Conference on Software Engineering, pages 439-448, 2000.
3. Cyrelli Artho. Jlint homepage: http://artho.com/jlint.
4. D. Cok and J. Kiniry. Esc java homepage : http://www.cs.kun.nl/sos/ research/escjava/index.html.
5. H. C. Drew and D. Wagner. Model checking one million lines of c code. In Network and Distributed System Security, NDSS 2004.
6. M. Ernst. Static and dynamic analysis: Synergy and duality. In In ICSE Workshop on Dynamic Analysis WODA, 2003.
7. D. Evans. Static detection of dynamic memory errors. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), 1996.
8. D. Hamlet and R. Taylor. Partition testing does not inspire confidence (program testing). IEEE Trans. Softw. Eng., 16(12):1402-1411, 1990.
9. K. Havelund. Using runtime analysis to guide model checking of java programs. In SPIN, pages 245-264, 2000.
10. D. Hovemeyer. Findbugs homepage: http://findbugs.sourceforge.net/.
11. D. Hovemeyer and W. Pugh. Finding bugs is easy. In OOPSLA 2004, 2004.
12. Sourceforge. Pmd homepage: http://pmd.sourceforge.net/.
13. V. Vipindeep and P. Jalote. Transforming programs to allow static analysis to do better, MTech Thesis, IIT Kanpur.
14. V. Vipindeep and P. Jalote. Efficient static analysis with path pruning using coverage data. In ICSE-Workshop on Dynamic Analysis, WODA, 2005.
15. Y. Xie and D. Engler. Using redundancies to find errors. SIGSOFT Softw. Eng. Notes, 27(6):51-60, 2002.