Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
An empirical study into class testability
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
A new testability guided abstraction to solving bit-vector formula
SMT '08/BPR '08 Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
Testability Analysis of Data-Flow Software
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of component based system quality assurance and assessment
Information and Software Technology
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
Owing to its relative simplicity and wide range of applications,static slices are specifically proposed for softwaremaintenance and programunderstanding. Unfortunately, inmany cases static slices are overly conservative and thereforetoo large to supply ...