Automatic extraction of executable program subsets by simultaneous dynamic program slicing
- 1 March 1995
- journal article
- Published by Springer Nature in Automated Software Engineering
- Vol. 2 (1) , 33-53
- https://doi.org/10.1007/bf00873408
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Validation of rule-based reactive systems by sound scenario generalizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Systematic incremental validation of rule-based reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Debugging with dynamic slicing and backtrackingSoftware: Practice and Experience, 1993
- Using program slicing in software maintenanceIEEE Transactions on Software Engineering, 1991
- Dynamic slicing of computer programsJournal of Systems and Software, 1990
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- OPS5 User's ManualPublished by Defense Technical Information Center (DTIC) ,1981