An address mapping approach for test data generation of dynamic linked structures

Beizer, 1990 DRIVE safety—towards a European standard: the development of safe road transport informatic systems. DRIVE Project V1051, 1992. Draft 2. Edvardsson, 1999, A survey on automatic test data generation 1999 Gotlieb, 1998, Automatic test data generation using constraint solving techniques, 10.1145/271771.271790 Gupta, 1998, Automated test data generation using an iterative relaxation method, 10.1145/288195.288321 Hind, 1999, Interprocedural pointer alias analysis, ACM Transactions on Programming Languages and Systems, 21, 848, 10.1145/325478.325519 Hummel, 1994, A general data dependence test for dynamic, pointer-based data structures, 10.1145/178243.178262 Korel, 1990, Automated software test data generation, IEEE Transactions on Software Engineering, 16, 870, 10.1109/32.57624 Michel, 2001, Solving constraint over floating-point numbers, 10.1007/3-540-45578-7_36 Offutt, 1996, An integrated automatic test data generation system, Journal of Systems Integration, 1, 391, 10.1007/BF02262722 Offutt, 1999, The dynamic domain reduction approach to test data generation, Software-Practice and Experience, 29, 167, 10.1002/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V Prather, 1987, The path prefix software testing strategy, IEEE Transactions on Software Engineering, SE-13, 761, 10.1109/TSE.1987.233487 Sagiv, 1998, Solving shape-analysis problems in languages with destructive updating, ACM Transactions on Programming Languages and Systems, 20, 1, 10.1145/271510.271517 Sommerville, 1992 Steensgarrd, 1996, Points-to analysis in linear time Stocks, 1996, A framework for specification-based testing, IEEE Transactions on Software Engineering, 22, 777, 10.1109/32.553698 Tsoukalas, 1993, On some reliability estimation problems in random and partition testing, IEEE Transactions on Software Engineering, 19, 687, 10.1109/32.238569 Viswanathan, 2002, Generating test data for functions with pointer inputs Wilhelm, 2000, Shape analysis, 10.1007/3-540-46423-9_1