|
СТ |
Pointer-Range Analysis |
2004 |
Yong S. H., Horwitz S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |
|
СТ |
Better Slicing of Programs with Jumps and Switches |
2002 |
Kumar S., Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
15.05.2002 |
|
СТ |
Tool Support for Improving Test Coverage |
2002 |
Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Using Slicing to Identify Duplication in Source Code |
2001 |
Komondoor R., Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
Debugging via Run-Time Type Checking |
2001 |
Loginov A., Yong S. H., Horwitz S., Reps T. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Tool Demonstration: Finding Duplicated Code Using Program Dependences |
2001 |
Komondoor R., Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Semantics-Preserving Procedure Extraction |
2000 |
Komondoor R., Horwitz S. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Pointer Analysis for Programs with Structures and Casting |
1999 |
Yong S. H., Horwitz S., Reps T. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
|
СТ |
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation |
1995 |
Sagiv M., Reps T., Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
Slicing Programs with Arbitrary Control-Flow |
1993 |
Ball T., Horwitz S. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
Efficient comparison of program slices |
1991 |
Horwitz S., Reps T. |
|
|
|
Acta Informatica |
10.01.1992 |
