The top documents tagged [specification mining]

Instant Pack - IEEE Projects

---

32 views

Combined Static and Dynamic Mutability Analysis

---

44 views

50.530: Software Engineering Sun Jun SUTD. DateTopicRemarks Sep 15Introduction Sep 22Automatic Testing Sep 29Delta Debugging Oct 13Bug Localization Oct.

---

223 views