Cited By
View all- Zaniewski KPedrycz W(2014)A hybrid optimization approach to conformance testing of finite automataApplied Soft Computing10.1016/j.asoc.2014.05.01823(91-103)Online publication date: 1-Oct-2014
- Sarmento CSantos Filho DMiyagi P(2012)Extending the verification coverage for PLC control programs: A functional safety approachIECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society10.1109/IECON.2012.6389446(2833-2838)Online publication date: Oct-2012
- Huang TChung A(2008)Finding Narrow Input/Output (NIO) Sequences by Model CheckingProceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2008.42(283-289)Online publication date: 20-Aug-2008
- Show More Cited By