Protocol inference using static path profiles... We have implemented a tool, marga, based on static path profiling. Qualitative analysis of the specifications inferred by marga indicates that it is more accurate than existing static mining techniques, can be used to derive useful specification even for APIs that occur infrequently (statically) in the program, and is robust against imprecision that may arise from examination of infeasible or infrequently occurring dynamic paths. A comparison of the specifications generated using marga with a dynamic specification inference engine based on cute, an automatic unit test generation tool, indicates that marga generates comparably precise specifications with smaller cost.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Ramanathan, Murali Krishna; Sen, Koushik; Grama, Ananth; Jagannathan, Suresh: Protocol inference using static path profiles (2008)