5 papers:
Onward-2014-ProustM #invariant- It’s Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It (RP, AM), pp. 163–171.
DAC-2009-YuanX #identification #on the #pseudo #testing- On systematic illegal state identification for pseudo-functional testing (FY, QX), pp. 702–707.
- DAC-2006-VimjamH #identification #induction #performance #satisfiability
- Fast illegal state identification for improving SAT-based induction (VCV, MSH), pp. 241–246.
DATE-1999-KonijnenburgLG #generative #identification #testing- Illegal State Space Identification for Sequential Circuit Test Generation (MHK, JTvdL, AJvdG), pp. 741–746.
ICEIS-1999-YooYP #data access #internet- A New Method to Block Access to Illegal and Harmful Content on the Internet (BJY, HGY, MSP), pp. 732–739.
