Model-Based Software Testing and Verification

tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo-Hwan Bae, KAIST, Korea Fevzi Belli, University of Paderborn, Germany Ramesh Bharadwaj, Naval Research Lab, USA Maarten Boasson, Univ. of Amsterdam, The Netherlands Kai-YuanCai,BeijingUniv.ofAeronauticsandAstronautics,China T.Y. Chen, Swinburne University of Technology, Australia Albert Cheng, University of Houston, USA Shing-Chi Cheung, Hong Kong Univ. of Sci and Tech, China William C. Chu, TungHai University, Taiwan Bojan Cukic, University of West Virginia, USA Hans-Dieter Ehrich, Tech. Univ. at Braunschweig, Germany Massimo Felici, University of Edinburgh, UK Filomena Ferrucci, University of Salerno, Italy Arif Ghafoor, Purdue University, USA Robert Gluck, University of Copenhagen, Denmark Bhaskar Harita, Motorola Global Software Group, India Peter Henderson, University of Southampton, UK Bob Horgan, Telco...

• Type: Conference
• Year: 2005
• Where: COMPSAC
• Authors: Aditya P. Mathur
• Keywords: COMPSAC 2005, Portland State University, Purdue University, Software Engineering, Swinburne University