| name | API |
| description | Application Program Interface |
| name | TTCN3 |
| description | Testing and Test Control Notation Version 3 |
| number | 1 |
| author | S. naik and P. Tripathy |
| article | |
| publication | Software Testing and Quality Assurance: Theory and Practice |
| edition | |
| publisher | Wiley-Spektrum |
| issue | |
| date | 2008 |
| part | |
| link | |
| reftext | S. naik and P. Tripathy, Software Testing and Quality Assurance: Theory and Practice, Wiley-Spektrum, 2008. |
| number | 2 |
| author | I. Sommerville |
| article | |
| publication | Software Engineering |
| edition | 9th ed. |
| publisher | Addison-Wesley |
| issue | |
| date | 2011 |
| part | |
| link | |
| reftext | I. Sommerville, Software Engineering, 9th ed., Addison-Wesley, 2011. |
| number | 3 |
| author | M.R. Lyu, ed. |
| article | |
| publication | Handbook of Software Reliability Engineering |
| edition | |
| publisher | McGraw-Hill and IEEE Computer Society Press |
| issue | |
| date | 1996 |
| part | |
| link | |
| reftext | M.R. Lyu, ed., Handbook of Software Reliability Engineering, McGraw-Hill and IEEE Computer Society Press, 1996. |
| number | 4 |
| author | H. Zhu, P.A.V. Hall, and J.H.R. May |
| article | Software Unit Test Coverage and Adequacy |
| publication | ACM Computing Surveys |
| edition | |
| publisher | |
| issue | vol. 29, no. 4 |
| date | Dec. 1997 |
| part | pp. 366-427 |
| link | |
| reftext | H. Zhu, P.A.V. Hall, and J.H.R. May, "Software Unit Test Coverage and Adequacy", ACM Computing Surveys, vol. 29, no. 4, Dec. 1997, pp. 366-427. |
| number | 5 |
| author | E.W. Dijkstra |
| article | Notes on Structured Programming |
| publication | T.H.-Report |
| edition | 70-WSE-03 |
| publisher | Technological University, Eindhoven |
| issue | |
| date | 1970 |
| part | |
| link | http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF |
| reftext | E.W. Dijkstra, "Notes on Structured Programming", T.H.-Report, 70-WSE-03, Technological University, Eindhoven, 1970, http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF. |
| number | 6 |
| author | |
| article | |
| publication | ISO/IEC/IEEE P29119-1/DIS Draft Standard for Software and Systems Engineering— Software Testing—Part 1: Concepts and Definitions |
| edition | |
| publisher | ISO/IEC/IEEE |
| issue | |
| date | 2012 |
| part | |
| link | |
| reftext | ISO/IEC/IEEE P29119-1/DIS Draft Standard for Software and Systems Engineering— Software Testing—Part 1: Concepts and Definitions, ISO/IEC/IEEE, 2012. |
| number | 7 |
| author | |
| article | |
| publication | ISO/IEC/IEEE 24765:2010 Systems and Software Engineering—Vocabulary |
| edition | |
| publisher | ISO/IEC/IEEE |
| issue | |
| date | 2010 |
| part | |
| link | |
| reftext | ISO/IEC/IEEE 24765:2010 Systems and Software Engineering—Vocabulary, ISO/IEC/IEEE, 2010. |
| number | 8 |
| author | S. Yoo and M. Harman |
| article | Regression Testing Minimization, Selection and Prioritization: A Survey |
| publication | Software Testing Verification and Reliability |
| edition | vol. 22, no. 2 |
| publisher | |
| issue | |
| date | Mar. 2012 |
| part | pp. 67-120 |
| link | |
| reftext | S. Yoo and M. Harman, "Regression Testing Minimization, Selection and Prioritization: A Survey", Software Testing Verification and Reliability, vol. 22, no. 2, Mar. 2012, pp. 67-120. |
| number | 9 |
| author | S.H. Kan |
| article | |
| publication | Metrics and Models in Software Quality Engineering |
| edition | 2nd ed. |
| publisher | Addison-Wesley |
| issue | |
| date | 2002 |
| part | |
| link | |
| reftext | S.H. Kan, Metrics and Models in Software Quality Engineering, 2nd ed., Addison-Wesley, 2002. |
| number | 10 |
| author | J. Nielsen |
| article | |
| publication | Usability Engineering |
| edition | |
| publisher | Morgan Kaufmann |
| issue | |
| date | 1993 |
| part | |
| link | |
| reftext | J. Nielsen, Usability Engineering, Morgan Kaufmann, 1993. |
| number | 11 |
| author | T.Y. Chen et al |
| article | Adaptive Random Testing: The ART of Test Case Diversity |
| publication | Journal of Systems and Software |
| edition | vol. 83, no. 1 |
| publisher | |
| issue | |
| date | Jan. 2010 |
| part | pp. 60-66 |
| link | |
| reftext | T.Y. Chen et al, "Adaptive Random Testing: The ART of Test Case Diversity", Journal of Systems and Software, vol. 83, no. 1, Jan. 2010, pp. 60-66. |
| number | 12 |
| author | Y. Jia and M. Harman |
| article | An Analysis and Survey of the Development of Mutation Testing |
| publication | IEEE Trans. Software Engineering |
| edition | vol. 37, no. 5 |
| publisher | |
| issue | |
| date | Sep-Oct. 2011 |
| part | pp. 649-678 |
| link | |
| reftext | Y. Jia and M. Harman, "An Analysis and Survey of the Development of Mutation Testing", IEEE Trans. Software Engineering, vol. 37, no. 5, Sep-Oct. 2011, pp. 649-678. |
| number | 13 |
| author | M. Utting and B. Legeard |
| article | |
| publication | Practical Model-Based Testing: A Tools Approach |
| edition | |
| publisher | Morgan Kaufmann |
| issue | |
| date | 2007 |
| part | |
| link | |
| reftext | M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, 2007. |
