Detection of Polluting Test Objectives for Dataflow Criteria

[1]  Nikolai Kosmatov,et al.  Time to Clean Your Test Objectives , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

[2]  Reese T. Prosser,et al.  Applications of Boolean matrices to the analysis of flow diagrams , 1899, IRE-AIEE-ACM '59 (Eastern).

[3]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[4]  Nikolai Kosmatov,et al.  Generic and Effective Specification of Structural Test Objectives , 2016, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[5]  Mary Lou Soffa,et al.  Interprocedual data flow testing , 1989 .

[6]  Elaine J. Weyuker,et al.  An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..

[7]  Nikolai Kosmatov,et al.  Taming Coverage Criteria Heterogeneity with LTest , 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[8]  Lori A. Clarke,et al.  A Formal Evaluation of Data Flow Path Selection Criteria , 1989, IEEE Trans. Software Eng..

[9]  Yves Le Traon,et al.  Sound and Quasi-Complete Detection of Infeasible Test Requirements , 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

[10]  Zhendong Su,et al.  Combining Symbolic Execution and Model Checking for Data Flow Testing , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[11]  Nikolai Kosmatov,et al.  Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[12]  S. Sitharama Iyengar,et al.  Data-Driven Techniques in Disaster Information Management , 2017, ACM Comput. Surv..

[13]  Elaine J. Weyuker,et al.  The Cost of Data Flow Testing: An Empirical Study , 1990, IEEE Trans. Software Eng..

[14]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[15]  Gary A. Kildall,et al.  A unified approach to global program optimization , 1973, POPL.

[16]  Elaine J. Weyuker,et al.  Data flow analysis techniques for test data selection , 2015, ICSE '82.

[17]  Zhendong Su,et al.  A Survey on Data-Flow Testing , 2017, ACM Comput. Surv..

[18]  Nikolai Kosmatov,et al.  Frama-C: A software analysis perspective , 2015, Formal Aspects of Computing.