СТ |
A Compact Petri Net Representation and Its Implications for Analysis |
1996 |
Dwyer M. B., Clarke L. A. |
|
|
|
IEEE Transactions on Software Engineering |
15.03.1997 |
СТ |
A Flexible Architecture for Building Data Flow Analyzers |
1996 |
Dwyer M. B., Clarke L. A. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
СТ |
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs |
1999 |
Naumovich G., Avrunin G. S., Clarke L. A. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
СТ |
An Information Flow Model of Fault Detection |
1993 |
Thompson M. C., Richardson D. J., Clarke L. A. |
|
|
|
Software Engineering Notes |
29.09.1993 |
СТ |
Applying Static Analysis to Software Architectures |
1997 |
Naumovich G., Avrunin G. S., Clarke L. A., Osterweil L. J. |
|
|
|
Lecture Notes in Computer Science |
03.10.1997 |
СТ |
Continuous Self-Evaluation for the Self-Improvement of Software |
2001 |
Osterweil L. J., Clarke L. A. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
СТ |
Efficient Composite Data Flow Analysis Applied to Concurrent Programs |
1998 |
Naumovich G., Clarke L. A., Osterweil L. J. |
|
|
|
SIGPLAN Notices |
16.09.1998 |
СТ |
PLEIADES: An Object Management System for Software Engineering Environments |
1993 |
Tarr P., Clarke L. A. |
|
|
|
Software Engineering Notes |
12.04.1994 |
СТ |
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification |
1999 |
Naumovich G., Clarke L. A., Cobleigh J. M. |
|
|
|
Software Engineering Notes |
02.11.1999 |
СТ |
Verifying Properties of Process Definitions |
2000 |
Cobleigh J. M., Clarke L. A., Osterweil L. J. |
|
|
|
Software Engineering Notes |
14.12.2000 |