In the world of software development, Cem Kaner should get the highest recognition for his contribution to software testing (I will describe Kaner’s contributions in another post). In his first book…
P. Abrahamsson, A. Hanhineva, and J. Jäälinoja. Business Agility and Information Technology Diffusion, volume 180 of IFIP International Federation for Information Processing, Springer Boston, 10.1007/0-387-25590-7_14.(2005)
B. Ahmed, and K. Zamli. volume 0 of Proceedings of the Electrical and Electronic Postgraduate Colloquium EEPC2009, Jawi, Malaysia, USM, University Sains Malaysia, (November 2009)
T. Alspaugh, D. Richardson, and T. Standish. 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'05), page 1--5. St. Louis, MI, (May 2005)
P. Ammann, and J. Offutt. Compass'94: 9th Annual Conference on Computer Assurance, page 69--80. Gaithersburg, MD, National Institute of Standards and Technology, (1994)
S. Anand, P. Godefroid, and N. Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2008)
T. Arts, J. Hughes, J. Johansson, and U. Wiger. ERLANG '06: Proceedings of the 2006 ACM SIGPLAN
workshop on Erlang, page 2--10. New York, NY, USA, ACM, (2006)
P. Awasthi, M. Jha, M. Molinaro, and S. Raskhodnikova. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, volume 7408 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2012)
A. Ayerbe, and I. Vazquez. Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International, (August 1998)
M. Balcer, W. Hasling, and T. Ostrand. Symposium on Testing, Analysis, and Verification, page 210-218. (1989)MR: Formalismen zu der Category-Partition-Methode mittels TSL.