[1] P. Kruchten, “The Rational Unified Process,” AddisonWesley, Reading, 2003.
[2] D. Rosemberg and M. Stephens, “Use Case Driven Object Modeling with UML,” Apress, New York, 2007.
[3] K. Beck, “Test-Driven Development: By Example,” Addison-Wesley Professional, Reading, 2002.
[4] C. Jones and O. Bonsignour, “The Economics of Software Quality,” Addison-Wesley Professional, Reading, 2011.
[5] R. Johnson, “Avoiding the Classic Catastrophic Computer Science Failure Mode,” Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Santa Fe, 7-11 November 2010, pp. 5-6.
[6] M. Surhone, M. Tennoe and S. Henssonow, “Cisq,” Betascript Publishing, New York, 2010.
[7] P. Ammann and J. Offutt, “Introduction to Software Testing,” Cambridge University Press, Cambridge, 2008. http://dx.doi.org/10.1017/CBO9780511809163
[8] A. Bertolino, “Software Testing Research: Achievements, Challenges and Dreams,” Proceedings of Future of Software Engineering (FOSE 07), Minneapolis, 23-25 May 2007, pp. 85-103.
[9] W. Grieskamp, “Multi-Paradigmatic Model-Based Testing,” Technical Report, Microsoft Research, Seattle, 2006, pp. 1-20.
[10] Microsoft, “Spec Explorer Visual Studio Power Tool,” 2013.
http://visualstudiogallery.msdn.microsoft.com/271d0904-f178-4ce9-956b-d9bfa4902745
[11] R. Binder, “Testing Object-Oriented Systems,” AddisonWesley Professional, Reading, 2000.
[12] J.-P. Corriveau, “Testable Requirements for Offshore Outsourcing,” Proceedings of Software Engineering Approaches for Offshore and Outsourced Development (SEAFOOD), Springer, Berlin, 2007, pp. 27-43. http://dx.doi.org/10.1007/978-3-540-75542-5_3
[13] B. Meyer, “The Unspoken Revolution in Software Engineering,” IEEE Computer, Vol. 39, No. 1, 2006, pp. 121-123.
[14] J.-P. Corriveau, “Traceability Process for Large OO Projects,” IEEE Computer, Vol. 29, No. 9, 1996, pp. 63-68. http://dx.doi.org/10.1109/2.536785
[15] “List of Testing Tools,” 2013. http://www.softwaretestingclass.com/software-testing-tools-list
[16] Wikipedia, “Second List of Testing Tools,” 2013.
http://en.wikipedia.org/wiki/Category:Software_testing_tools
[17] “Testing Tools for Web QA,” 2013. http://www.aptest.com/webresources.html
[18] “JUnit,” 2013. http://www.junit.org
[19] B. Meyer, et al., “Programs that Test Themselves,” IEEE Computer, Vol. 42, No. 9, 2009, pp. 46-55.
http://dx.doi.org/10.1109/MC.2009.296
[20] J. Ryser and M. Glinz, “SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test,” Technical Report, University of Zurich, Zurich, 2003.
[21] D. Arnold, J.-P. Corriveau and W. Shi, “Validation against Actual Behavior: Still a Challenge for Testing Tools,” Proceedings of Software Engineering Research and Practice (SERP), Las Vegas, 12-15 July 2010.
[22] B. Meyer, “Design by Contract,” IEEE Computer, Vol. 25, No. 10, 1992, pp. 40-51. http://dx.doi.org/ 10.1109/2.161279
[23] “IBM Rational Robot,” 2013. http://www-01.ibm.com/software/awdtools/tester/robot
[24] “HP Quality Centre,” 2013. http://www8.hp.com/ca/en/software-solutions/software.html?compURI= 1172141#.UkDyk79AiHk
[25] “Team Foudation Server,” 2013. http://msdn.microsoft.com/en-us/vstudio/ff637362.aspx
[26] “Blueprint,” 2013. https://documentation.blueprintcloud.com/Blueprint5.1/Default.htm#Help/Project %20Administration/Tasks/Managing%20ALM%20targets/Creating%20ALM%20targets.htm
[27] Object Management Group (OMG), “UML Superstructure Specification v2.3,” 2013.
http://www.omg.org/spec/UML/2.3
[28] M. Utting and B. Legeard, “Practical Model-Based Testing: A Tools Approach,” Morgan Kauffmann, New York, 2007.
[29] “Special Issue on Model-Based Testing,” Testing Experience, Vol. 17, 2012.
[30] M. Prasanna, et al., “A Survey on Automatic Test Case Generation,” Academic Open Internet Journal, Vol. 15, No. 6, 2005.
[31] A. Neto, R. Subramanyan, M. Vieira and G. H. Travassos, “A Survey of Model-Based Testing Approaches,” Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech 07), Atlanta, 5 November 2007, pp. 31-36.
[32] P. Baker, Z. R. Dai, J. Grabowski, I. Schieferdecker and C. Williams, “Model-Driven Testing: Using the UML Profile,” Springer, New York, 2007.
[33] S. Bukhari and T. Waheed, “Model Driven Transformation between Design Models to System Test Models Using UML: A Survey,” Proceedings of the 2010 National S/w Engineering Conference, Rawalpindi, 4-5 October 2010, Article 08.
[34] “Seppmed,” 2013. http://wiki.eclipse.org/EclipseTestingDay2010_Talk_Seppmed
[35] M. Shafique and Y. Labiche, “A Systematic Review of Model Based Testing Tool Support,” Technical Report SCE-10-04, Carleton University, Ottawa, 2010.
[36] “Conformiq Tool Suite,” 2013.
http://www.verifysoft.com/en_conformiq_automatic_test_generation.html
[37] “Conformiq Manual,” 2013. http://www.verifysoft.com/ConformiqManual.pdf
[38] R. Hierons, et al., “Using Formal Specifications to Support Testing,” ACM Computing Surveys, Vol. 41, No. 2, 2009, pp. 1-76. http://dx.doi.org/10.1145/1459352.1459354
[39] S. D. Stoller, et al., “Runtime Verification with State Estimation,” Proceedings of 11th International Workshop on Runtime Verification (RV'11), Springer, Berlin, 2011, pp. 193-207.
[40] Y. Zhao and F. Rammig, “Online Model Checking for Dependable Real-Time Systems,” Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Shenzhen, 11-13 April 2012, pp. 154-161.
[41] P. Arcaini, A. Gargantini and E. Riccobene, “CoMA: Conformance Monitoring of Java Programs by Abstract State Machines,” Proceedings of 11th International Workshop on Runtime Verification (RV'11), Springer, Berlin, 2011, pp. 223-238.
[42] D. Jin, P. Meredith, C. Lee and G. Rosu, “JavaMOP: Efficient Parametric Runtime Monitoring Framework,” Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, 2-9 June 2012, pp. 1427-1430.
[43] R. Grigor, et al., “Runtime Verification Based on Register Automata,” Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, Berlin, 2013, pp. 260-276.
[44] Z. Zhou, et al., “Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models,” Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE), Nanjing, 3-5 December 2008, pp. 487-490.
[45] X. Li, et al., “UML Interaction Model-Driven Runtime Verification of Java Programs,” Software, IET, Vol. 5, No. 2, 2011, pp. 142-156.
[46] S. Ciraci, S. Malakuti, S. Katz, and M. Aksit, “Checking the Correspondence between UML Models and Implementation,” Proceedings of 10th International Workshop on Runtime Verification (RV'10), Springer, Berlin, 2011, pp. 198-213.
[47] L. Briand and Y. Labiche, “A UML-Based Approach to System Testing,” Software and Systems Modeling, Vol. 1, No. 1, 2002, pp. 10-42. http://dx.doi.org/10.1007/s10270-002-0004-8
[48] D. Chelimsky, et al. “The RSpec Book: Behaviour Driven Development with Rspec, Cucumber and Friends,” Pragmatic Bookshelf, New York, 2010.
[49] I. H. Kruger, M. Meisinger and M. Menarini: “Runtime Verification of Interactions: From MSCs to Aspects,” Proceedings of 7th International Workshop on Runtime Verification (RV'07), Springer, Berlin, 2007, pp. 63-74.
[50] International Telecommunication Union (ITU), “Message Sequence Charts, ITU Z.120,” 2013.
http://www.itu.int/rec/T-REC-Z.120
[51] M. Cristia, P. Rodriguez Monetti, and P. Albertengo, “The Fastest 1.3.6 User’s Guide,” 2013.
http://www.flowgate.net/pdf/userGuide.pdf
[52] Microsoft, “FORMULA,” 2013. http://research.microsoft.com/en-us/projects/formula/
[53] B. Selic, “Filling in the Whitespace,” http://lmo08.iro.umontreal.ca/Bran%20Selic.pdf
[54] “Rational Technical Developer,” http://www-01.ibm.com/software/awdtools/developer/technical
[55] C. Nebut, et al., “Automatic Test Generation: A Use Case Driven Approach,” IEEE Transactions on Software Engineering, Vol. 32, No. 3, 2006, pp. 140-155. http://dx.doi.org/10.1109/TSE.2006.22
[56] A. Miga, “Applications of Use Case Maps to System Design with Tool Support,” Master’s Thesis, Carleton University, Ottawa, 1998.
[57] D. Amyot and G. Mussbacher, “User Requirements Notation: The First Ten Years”, Journal of Software, Vol. 6, No. 5, 2011, pp. 747-768.
[58] J. Zander, et al., “From U2TP Models to Executable Tests with TTCN-3—An Approach to Model Driven Testing,” Proceedings of the 17th International Conference on Testing Communicating Systems, Montreal, 31 May-2 June 2005, pp. 289-303. http://dx.doi.org/10.1007/11430230_20
[59] P. Baker and C. Jervis, “Testing UML 2.0 Models using TTCN-3 and the UML 2.0 Testing Profile,” Springer, Berlin, 2007, pp. 86-100.
[60] D. Arnold, J.-P. Corriveau and W. Shi, “Modeling and Validating Requirements Using Executable Contracts and Scenarios,” Proceedings of Software Engineering Research, Management & Applications (SERA 2010), Montreal, 24-26 May 2010, pp. 311-320.