Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference.
Saved in:
| Title: | Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference. |
|---|---|
| Authors: | Krka, Ivo1, krka@usc.edu, Brun, Yuriy2, brun@cs.washington.edu, Popescu, Daniel1, dpopescu@usc.edu, Garcia, Joshua1, joshuaga@usc.edu, Medvidovic, Nenad1, neno@usc.edu |
| Source: | ICSE: International Conference on Software Engineering; 2010, p179-182, 4p, 3 Diagrams |
| Database: | Applied Science & Technology Source |
| Description not available. |
