共 50 条
- [32] A systematic representation of path constraints for implicit path enumeration technique SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 39 - 61
- [36] Link Observability without Path Enumeration: A Revisit 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2012, : 1407 - 1410
- [37] PATH ENUMERATION USING FLOW-GRAPHS MICROELECTRONICS AND RELIABILITY, 1979, 19 (04): : 391 - 393