Cited By
View all- Feofilaktov VItsykson V(2024)SPIDER: Specification-Based Integration Defect RevealerTools and Methods of Program Analysis10.1007/978-3-031-50423-5_10(107-119)Online publication date: 3-Jan-2024
- Wasylkowski AZeller A(2011)Mining temporal specifications from object usageAutomated Software Engineering10.1007/s10515-011-0084-118:3-4(263-292)Online publication date: 1-Dec-2011
- Li XHoover HRudnicki P(2010)API conformance verification for Java programsProceedings of the 12th international conference on Formal engineering methods and software engineering10.5555/1939864.1939882(188-203)Online publication date: 17-Nov-2010
- Show More Cited By