![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
From: Gordon Fraser <fraser@cs.uni-saarland.de> Subject: [SEWORLD] CfPart: ICST 2012 - 5th IEEE International Conference on Software Testing, Verification and Validation Date: Thu, 9 Feb 2012 08:30:03 +0100 To: seworld@sigsoft.org CALL FOR PARTICIPATION ICST 2012: The 5th IEEE International Conference on Software Testing, Verification and Validation April 17-21 2012, Montreal, Canada http://icst2012.soccerlab.polymtl.ca Registration: ------------- For online registration, please visit http://icst2012.soccerlab.polymtl.ca The early registration deadline is *March 2, 2012* About ICST 2012: ---------------- The International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with human activities, resulting in complex hybrid systems that involve software, human judgment and, sometimes, political, legal and social processes. As a result, software verification and validation, including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics, and psychology. It touches on all aspects of computer science and software engineering research and impacts on almost all software activities. Program: --------- The program is available online at http://icst2012.soccerlab.polymtl.ca/Content/schedule Keynotes: --------- - Ray J. Payette, IBM Business Analytics, USA - Pierre Labrèche, CMC Electronics, Canada - Michael Ernst, University of Washington, USA Workshops on April 17, 2012 (pre-conference): -------------------------------- Workshop on Combinatorial Testing (CT 2012) http://www.research.ibm.com/haifa/Workshops/ct2012 International Workshop Mutation Analysis (Mutation 2012) http://www.cs.ucl.ac.uk/mutation2012 The First International Workshop on Load Testing of Large Software Systems (LT 2012) http://sailhome.cs.queensu.ca/lt2012 The 8th Workshop on Advances in Model Based Testing (A-MOST 2012) https://sites.google.com/site/amost2012 The Second International Workshop on Regression Testing (Regression 2012) https://sites.google.com/a/allegheny.edu/regression-2012 Workshops on April 21, 2012 (post-conference): --------------------------------- 4th International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2012) http://srg.doc.ic.ac.uk/cstva12 The Third International Workshop on Security Testing (SECTEST 2012) http://www.spacios.eu/sectest2012 Verification Of modeL Transformations (VOLT 2012) http://www.model-based-testing.de/volt12 5th International Workshop on Search-Based Software Testing (SBST 2012) http://www.cs.ucl.ac.uk/staff/K.Lakhotia/sbst2012 2nd Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST 2012) Testing: Academy & Industrial Conference: Practice & Research Techniques (TAIC PART 2012) http://www.taicpart.org Organization: ------------- General Chair - Giuliano Antoniol, École Polytechnique de Montreal, Canada Program Chairs - Antonia Bertolino, ISTI-CNR, Italy - Yvan Labiche, Carleton University, Canada Workshop Chairs - Massimiliano Di Penta, University of Sannio, Italy - Arnaud Gotlieb, INRIA, France Financial Chair - Dave Binkley, Loyola University in Maryland, USA Ph.D. Symposium Chairs - Natalia Juristo, Universidad Politecnica de Madrid, Spain - Vahid Garousi, University of Calgary, Canada Poster Chair - Antonino Sabetta, SAP Research, France Industrial Chairs - Peter Zimmerer, Siemens AG, Germany - Saurabh Sinha, IBM Research, India - Thomas J. Ostrand, AT&T Labs Research, USA Publicity Chair - Gordon Fraser, Saarland University, Germany Publications Chair - Francesca Lonetti, CNR, Italy Local Arrangements Chair - Yann-Gaël Guéhéneuc, École Polytechnique de Montréal, Canada Webmaster - Aminata Sabané, École Polytechnique de Montréal, Canada Program Committee: ------------------ - James Andrews, University of Western Ontario, Canada - Andrea Arcuri, Simula Research Lab, Norway - Erik Arisholm, Testify, Norway - Fevzi Belli, Paderborn University, Germany - James Bieman, Colorado State University, USA - Kiril Bogdanov, University of Sheffield, UK - Fabrice Bouquet, Université de Franche-Comté, France - Mario Bravetti, Bologna University, Italy - Renee Bryce, Utah State University, USA - Jeffrey Carver, University of Alabama, USA - Tsong Yueh Chen, Swinburne University of Technology, Australia - Myra Cohen, University of Nebraska, USA - Guglielmo De Angelis, ISTI-CNR, Italy - Juergen Dingel, School of Computing Queen's University, Canada - Hyunsook Do, North Dakota State University, USA - Sebastian Elbaum, University of Nebraska, USA - Sigrid Eldh, Ericsson, Sweden - Khaled ElFakih, American University of Sharjah, UAE - Robert Eschbach, Fraunhofer IESE, Germany - Robert France, Colorado State University, USA - Angelo Gargantini, University of Bergamo, Italy - Sudipto Ghosh, Colorado State University, USA - Mark Grechanik, Accenture, USA - Wolfgang Grieskamp, Google, USA - Roland Groz, LSR-IMAG, France - Mark Harman, University College, UK - Toru Hasegawa, KDDI R&D Labs, Japan - Gerard Holzmann, NASA/JPL, USA - Thierry Jeron, IRISA / INRIA Rennes, France - Sarfraz Khurshid, University of Texas - Austin, USA - Myungchul Kim, Information and Communications University, Korea - Jens Knoop, Technische Universitaet Wien, Austria - Bogdan Korel, Illinois Institute of Technology, USA - Pieter Kritzinger, University of Cape Town, South Africa - Bruno Legeard, Smartesting, France - Yu Lei, University of Texas at Arlington, USA - Yves LeTraon, University of Luxembourg, Luxembourg - Hareton Leung, Hong Kong Polytechnic University, China - Shaoying Liu, Hosei University, Japan - Stephane Maag, Institut Telecom, France - Rajib Mall, IIT Kharagpur, India - Eda Marchetti, ISTI-CNR, Italy - Darko Marinov, University of Illinois, USA - Eliane Martins, Campinas University, Brazil - Wassim Masri, American University of Beirut, Lebanon - Phil McMinn, University of Sheffield, UK - Mercedes Merayo, Complutense de Madrid University, Spain - Ali Mesbah, University of British Columbia, Canada - Henry Muccini, University of L'Aquila, Italy - Nachiappan Nagappan, Microsoft, USA - Jeff Offutt, George Mason University, USA - Marcel Oliveira, Federal University of Rio Grande do Norte, Brazil - Amit Paradkar, IBM, USA - Ioannis Parissis, Grenoble Institute of Technology, France - Jan Peleska, University of Bremen, Germany - Alex Petrenko, CRIM, Canada - Marco Pistoia, IBM, USA - Andrea Polini, University of Camerino, Italy - Alexander Pretschner, Karlsruhe Institute of Technology, Germany - Filippo Ricca, University of Genoa, Italy - Niciolas Riviere, LAAS, France - Brian Robinson, ABB, USA - Ismael Rodriguez, Complutense de Madrid University, Spain - Marc Roper, University of Strathclyde, Scotland - Sreedevi Sampath, University of Maryland- Baltimore County, USA - Sara Sprenkle, Washington & Lee University, USA - Paul Strooper, University of Queensland, Australia - Nikolai Tillmann, Microsoft, USA - Paolo Tonella, ITC-IRST, Italy - Jan Tretmans, Radboud University Nijmegen, Netherlands - T.H. Tse, University of Hong Kong, China - Andreas Ulrich, Siemens, Germany - Willem Visser, University of Stellenbosch, South Africa - Helene Waeselynck, LAAS-CNRS, France - Laurie Williams, North Carolina State University, USA - Eric Wong, University of Texas - Dallas, USA - Tao Xie, North Carolina State University, USA - Fatiha Zaidi, Paris Sud University, France - Andreas Zeller, Saarland University, Germany Supporters: ----------- Google - http://www.google.com DGIGL - http://www.polymtl.ca/gigl/ Reengineering Forum - http://www.reengineer.org/ SAP - http://www.sap.com Microsoft - http://www.microsoft.com CRIAQ - http://www.criaq.aero/ Website: -------- For further details regarding the conference, please consult http://icst2012.soccerlab.polymtl.ca
From: Gordon Fraser <fraser@cs.uni-saarland.de> Subject: [SEWORLD] ICST 2012: Call for Workshop Contributions Date: Thu, 15 Dec 2011 22:43:34 +0100 To: seworld@sigsoft.org CALL FOR WORKSHOP CONTRIBUTIONS ICST 2012: The 5th IEEE International Conference on Software Testing, Verification and Validation April 17-21 2012, Montreal, Canada http://icst2012.soccerlab.polymtl.ca The International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference in all areas related to software quality. As in previous editions, ICST features a series of exciting workshops before (April 17) and after the conference (April 21). Submission deadlines are scheduled around the end of January 2012 (please check details on the individual workshop websites). The following workshops are scheduled for ICST 2012 (the list is also available at http://icst2012.soccerlab.polymtl.ca/Content/workshops): April 17, 2012 (pre-conference): -------------------------------- Workshop on Combinatorial Testing (CT 2012) http://www.research.ibm.com/haifa/Workshops/ct2012 International Workshop Mutation Analysis (Mutation 2012) http://www.cs.ucl.ac.uk/mutation2012 The First International Workshop on Load Testing of Large Software Systems (LT 2012) http://sailhome.cs.queensu.ca/lt2012 The 8th Workshop on Advances in Model Based Testing (A-MOST 2012) https://sites.google.com/site/amost2012 The Second International Workshop on Regression Testing (Regression 2012) https://sites.google.com/a/allegheny.edu/regression-2012 April 21, 2012 (post-conference): --------------------------------- 4th International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2012) http://srg.doc.ic.ac.uk/cstva12 The Third International Workshop on Security Testing (SECTEST 2012) http://www.spacios.eu/sectest2012 Verification Of modeL Transformations (VOLT 2012) http://www.model-based-testing.de/volt12 5th International Workshop on Search-Based Software Testing (SBST 2012) http://www.cs.ucl.ac.uk/staff/K.Lakhotia/sbst2012 2nd Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST 2012) Testing: Academy & Industrial Conference: Practice & Research Techniques (TAIC PART 2012) http://www.taicpart.org Detailed Workshop Descriptions: ------------------------------- Workshop on Combinatorial Testing (CT 2012) Day: April 17, 2012 Organisers: Itai Segall, Richard Kuhn, Raghu Kacker and Yu Lei Combinatorial Testing (CT) is a widely applicable generic methodology and technology for software verification and validation. In a combinatorial test plan, all interactions between parameters up to a certain level are covered. Studies show that CT can significantly reduce the number of test cases while remaining very effective for fault detection. This workshop aims to bring together researchers, developers, users, and practitioners to discuss and exchange ideas and experiences in the development and application of CT methods, techniques, and tools. We invite submissions of high-quality papers presenting original work on both theoretical and experimental aspects of combinatorial testing. -------- International Workshop Mutation Analysis (Mutation 2012) Day: April 17, 2012 Organisers: Mercedes Merayo and Yue Jia Mutation is acknowledged as an important way to assess the fault-finding effectiveness of tests sets. Mutation testing has mostly been applied at the source code level, but more recently, related ideas have also been used to test artifacts described in a considerable variety of notations and at different levels of abstraction. Mutation ideas are used with requirements, formal specifications, architectural design notations, informal descriptions (e.g. use cases) and hardware. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing. The goal of the Mutation workshop is to provide a forum for researchers and practitioners to discuss new and emerging trends in mutation analysis. We invite submissions of both full-length and short-length research papers as well as industry practice papers. -------- The First International Workshop on Load Testing of Large Software Systems (LT 2012) Day: April 17, 2012 Organisers: Jack Zhen Ming Jiang, Ahmed E. Hassan and Marin Litoiu Modern software systems ranging from e-commerce websites to communication infrastructures must service millions of users. Many field problems of these systems are due to their inability to scale to field workloads, rather than due to feature bugs. To assure the quality of these systems, load testing simulates thousands or millions of users performing tasks at the same time. A load test can last from several hours to a few days, during which gigabytes of performance counter and log data is generated. Load testing has received relatively little attention in the software testing research community. Yet, load testing is a difficult task requiring a great understanding of the system under test. Problems in the application under test, the load generator or the load environment all could be the sources of load testing problems. Furthermore, load testing is gaining more importance, as an increasing number of services are being offered in the cloud to millions of users. This one-day workshop brings together industrial practitioners and researchers to establish and grow an academic research community around this important and practical research topic. -------- Advances in Model Based Testing (A-MOST 2012) Day: April 17, 2012 Organisers: Sigrid Eldh, Johan Oudinet The increasing complexity of software results in new challenges for testing. Model Based Testing (MBT) continue to be an important research area, where new approaches, methods and tools make MBT techniques more deployable and useful for industry than ever. Models and different abstractions can ease comprehension of a complex system and ease test generation and automation. A-MOST has proven to be a successful workshop that brings researchers and practitioners together discussing formal and semi-formal approaches, specification formats and notations that contribute to simplifying complex aspects of a system. The goal is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT. Submissions will be reviewed by at least three members from both academia and industry and accepted papers published in the IEEE digital library. The best paper will be invited to publish in an extended version of their work for inclusion in the Information and Software Technology journal. -------- The Second International Workshop on Regression Testing (Regression 2012) Day: April 17, 2012 Organisers: Shin Yoo and Gregory Kapfhammer Regression testing has received a significant amount of attention from both academics and practitioners during the last 20 years. Even though the use of regression testing techniques often leads to software applications with high observed quality, the repeated execution of test cases can be so costly that it accounts for half the cost of maintaining a software system. The regression testing research community also faces the additional challenges of transitioning established techniques into practice, improving the status-quo of the empirical evaluation of techniques, and proposing advanced methods for applying regression testing to modern software that is often complex, rapidly evolving, concurrent, and cloud-based. Viewing these tensions and challenges as an opportunity and not a threat, and looking to tap the potential of well-established researchers and up-and-coming members of the community, the theme of this year's workshop is minimizing problems, maximizing potential, mapping prospects. The organizing committee of Regression 2012 invites you to participate in this event by submitting a paper and registering to attend this workshop co-located with ICST 2012. -------- 4th International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2012) Day: April 21, 2012 Organisers: Frederic Dadeau and Cristian Cadar Recent years have seen an increasing interest in the application of constraint solving techniques to the testing and analysis of software systems. A significant body of constraint-based techniques have been proposed and investigated in model-based testing, code-based testing, property-oriented testing, statistical testing, etc. Following previous meetings held in 2006, 2010 and 2011, the aim of this workshop is to bring together researchers and practitioners working in constraint-based software testing, verification and analysis to investigate future developments in this research field. We invite original contributions in the form of extended abstracts, fast abstracts and tool demo papers presenting new ideas, new results or new systems in constraint-based software testing. -------- Security Testing (SECTEST 2012) Day: April 21, 2012 Organisers: Keqin Li, Wissam Mallouli and Luca Vigano To improve software security, several techniques, including vulnerability modelling and security testing, have been developed but the problem remains unsolved. On one hand, SECTEST workshop tries to answer how vulnerability modelling can help users understand the occurrence of vulnerabilities so to avoid them, and what the advantages and drawbacks of the existing models are to represent vulnerabilities. At the same time, it tries to understand how to solve the challenging security testing problem given that testing the mere functionality of a system alone is already a fundamentally critical task, how security testing is different from and related to classical functional testing, and how to assess the quality of security testing. The objective of SECTEST workshop is to share ideas, methods, techniques, and tools about vulnerability modelling and security testing to improve the state of the art. -------- Verification Of modeL Transformations (VOLT 2012) Day: April 21, 2012 Organisers: Levi Lucio, Stephan Weissleder and Eugene Syriani Model Transformations have been described in 2003 as the heart and soul of Model-Driven Development. Later, in 2006, the verification of model transformations has been identified as one of the grand challenges of the domain. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject in still not in sight. There has been a recent surge of interests of the industry in model transformations. In fact model transformations can be found implicitly in all the phases of software development. However, the current technology is still too academical and not sufficiently standardized. In particular, studying techniques to raise the level of confidence in a model transformation or ensure that a model transformation is correct in a certain context is a sound and logical step to raise industrial interest. With VOLT 2012, we aim at providing a forum where the current various approaches on the verification of model transformations can be presented, discussed, classified, integrated, and hopefully advanced. -------- Search-Based Software Testing (SBST 2012) Day: April 21, 2012 Organisers: John Clark, Kiran Lakhotia and Wasif Afzal Search-Based Software Testing (SBST) is the use of metaheuristic search techniques (e.g. hill climbing, genetic algorithms etc.) to automate testing tasks such as automated generation of test data. There has been an explosion of activity in the search-based software testing field of late, particularly on test data generation. Recent work has also focused on other aspects such as model-based testing, real-time testing, interaction testing, testing of service-oriented architectures, test case prioritisation and generation of whole tests (not only test data). The goal of the workshop is to bring together researchers from different domains of software testing, along with practitioners to strengthen and develop search-based testing research in these areas. Moreover, the workshop welcomes submissions addressing other software verification and validation issues using metaheuristic search techniques. -------- Testing: Academy & Industrial Conference: Practice & Research Techniques (TAIC PART 2012) Day: April 21, 2012 Organisers: Robert Feldt, Carsten Weise and Vladimir Entin TAIC PART focuses on software testing research done on or motivated by real-world, industrial problems. Goals are to create stronger collaboration between academia and industry on important challenges in the testing field, identify new trends and challenges and discuss research methods that can help for collaborative research and tech exchange. We solicit papers of the following types: Industry experience reports, Research methods for collaborative research, Industrial challenges with real-world testing, and Knowledge exchange between industry and academia. We accept 6-page papers of 2-page Fast Abstracts. Submissions will be reviewed by at least three members from a PC with members from both academia and industry and accepted papers published in the IEEE digital library. Supporters: ----------- Google - http://www.google.com/ DGIGL, Departement of Computer Science & Software Engineering at Ecole Polytechnique de Montreal - http://www.polymtl.ca/gigl/ Reengineering Forum - http://www.reengineer.org/ SAP - http://www.sap.com Microsoft - http://www.microsoft.com/ Website: -------- For further details regarding the conference, please consult http://icst2012.soccerlab.polymtl.ca
From: Gordon Fraser <fraser@cs.uni-saarland.de> Date: Wed, 14 Dec 2011 05:52:23 +0100 To: ecoop-info@ecoop.org Subject: [ecoop-info] ICST 2012: Call for Workshop Contributions [ 77 lines deleted; see updated version above -- dc ]
From: Gordon Fraser <fraser@cs.uni-saarland.de> Subject: [SEWORLD] CfP: ICST 2012 - Fifth International Conference on Software Testing, Verification and Validation Date: Wed, 27 Jul 2011 23:11:07 +0200 To: seworld@sigsoft.org CALL FOR PAPERS ICST 2012: The 5th IEEE International Conference on Software Testing, Verification and Validation April 17-21 2012, Montreal, Canada http://icst2012.soccerlab.polymtl.ca About ICST 2012: ---------------- The International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with human activities, resulting in complex hybrid systems that involve software, human judgment and, sometimes, political, legal and social processes. As a result, software verification and validation, including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics, and psychology. It touches on all aspects of computer science and software engineering research and impacts on almost all software activities. ICST welcomes research papers as well as industrial experience reports from software development and testing practitioners. For the research papers, ICST seeks high quality original works. For the industrial papers, ICST seeks papers that present real world experiences from which others can benefit. Authors of the best papers will be invited to submit extended versions for a special issue of Software Testing, Verification, and Reliability, a Wiley journal. Topics of interest: ------------------- - Software testing theory and practice - Model-based testing - Domain specific testing, e.g.: security testing, web services testing, database testing, embedded software testing, and OO software testing - Verification & validation - Quality assurance - Model checking - Metrics and empirical studies - Fuzz testing - Inspections - Testing in multidisciplinary applications - Agile/iterative/incremental testing processes - Tools - Testability and diagnosability - Design for testability - Testing education - Testing in multidisciplinary applications - Technology transfer - Model-driven engineering and testing - Open source software/3rd party software testing - Software reliability assessment - Performance and QoS testing - Standards - Success stories Important Dates: ---------------- Papers - Submission of abstracts: October 28, 2011 - Submission of full papers: November 4, 2011 - Notification: December 28, 2011 - Date of conference: April 17-21, 2012 Posters - Submission: March 2, 2012 - Notification: March 24, 2012 Ph.D. Symposium - Submission of abstracts: October 28, 2011 - Submission of full papers: November 4, 2011 - Notification: December 28, 2011 Workshops - Submission of proposals: September 30, 2011 - Notification: November 3, 2011 Organization: ------------- General Chair - Giuliano Antoniol, École Polytechnique de Montreal, Canada Program Chairs - Antonia Bertolino, ISTI-CNR, Italy - Yvan Labiche, Carleton University, Canada Workshop Chairs - Massimiliano Di Penta, University of Sannio, Italy - Arnaud Gotlieb, INRIA, France Financial Chair - Dave Binkley, Loyola University in Maryland, USA Ph.D. Symposium Chairs - Natalia Juristo, Universidad Politecnica de Madrid, Spain - Vahid Garousi, University of Calgary, Canada Poster Chair - Antonino Sabetta, SAP Research, France Industrial Chairs - Peter Zimmerer, Siemens AG, Germany - Saurabh Sinha, IBM Research, India - Thomas J. Ostrand, AT&T Labs Research, USA Publicity Chair - Gordon Fraser, Saarland University, Germany Publications Chair - Francesca Lonetti, CNR, Italy Local Arrangements Chair - Yann-Gaël Guéhéneuc, École Polytechnique de Montréal, Canada Webmaster - Aminata Sabané, École Polytechnique de Montréal, Canada Program Committee: ------------------ - James Andrews, University of Western Ontario, Canada - Andrea Arcuri, Simula Research Lab, Norway - Erik Arisholm, Testify, Norway - Fevzi Belli, Paderborn University, Germany - James Bieman, Colorado State University, USA - Kiril Bogdanov, University of Sheffield, UK - Fabrice Bouquet, Université de Franche-Comté, France - Mario Bravetti, Bologna University, Italy - Renee Bryce, Utah State University, USA - Jeffrey Carver, University of Alabama, USA - Tsong Yueh Chen, Swinburne University of Technology, Australia - Myra Cohen, University of Nebraska, USA - Guglielmo De Angelis, ISTI-CNR, Italy - Juergen Dingel, School of Computing Queen's University, Canada - Hyunsook Do, North Dakota State University, USA - Sebastian Elbaum, University of Nebraska, USA - Sigrid Eldh, Ericsson, Sweden - Khaled ElFakih, American University of Sharjah, UAE - Robert Eschbach, Fraunhofer IESE, Germany - Robert France, Colorado State University, USA - Angelo Gargantini, University of Bergamo, Italy - Sudipto Ghosh, Colorado State University, USA - Mark Grechanik, Accenture, USA - Wolfgang Grieskamp, Google, USA - Roland Groz, LSR-IMAG, France - Mark Harman, University College, UK - Toru Hasegawa, KDDI R&D Labs, Japan - Gerard Holzmann, NASA/JPL, USA - Thierry Jeron, IRISA / INRIA Rennes, France - Sarfraz Khurshid, University of Texas - Austin, USA - Myungchul Kim, Information and Communications University, Korea - Jens Knoop, Technische Universitaet Wien, Austria - Bogdan Korel, Illinois Institute of Technology, USA - Pieter Kritzinger, University of Cape Town, South Africa - Bruno Legeard, Smartesting, France - Yu Lei, University of Texas at Arlington, USA - Yves LeTraon, University of Luxembourg, Luxembourg - Hareton Leung, Hong Kong Polytechnic University, China - Shaoying Liu, Hosei University, Japan - Stephane Maag, Institut Telecom, France - Rajib Mall, IIT Kharagpur, India - Eda Marchetti, ISTI-CNR, Italy - Darko Marinov, University of Illinois, USA - Eliane Martins, Campinas University, Brazil - Wassim Masri, American University of Beirut, Lebanon - Phil McMinn, University of Sheffield, UK - Mercedes Merayo, Complutense de Madrid University, Spain - Ali Mesbah, University of British Columbia, Canada - Henry Muccini, University of L'Aquila, Italy - Nachiappan Nagappan, Microsoft, USA - Jeff Offutt, George Mason University, USA - Marcel Oliveira, Federal University of Rio Grande do Norte, Brazil - Amit Paradkar, IBM, USA - Ioannis Parissis, Grenoble Institute of Technology, France - Jan Peleska, University of Bremen, Germany - Alex Petrenko, CRIM, Canada - Marco Pistoia, IBM, USA - Andrea Polini, University of Camerino, Italy - Alexander Pretschner, Karlsruhe Institute of Technology, Germany - Filippo Ricca, University of Genoa, Italy - Niciolas Riviere, LAAS, France - Brian Robinson, ABB, USA - Ismael Rodriguez, Complutense de Madrid University, Spain - Marc Roper, University of Strathclyde, Scotland - Sreedevi Sampath, University of Maryland- Baltimore County, USA - Sara Sprenkle, Washington & Lee University, USA - Paul Strooper, University of Queensland, Australia - Nikolai Tillmann, Microsoft, USA - Paolo Tonella, ITC-IRST, Italy - Jan Tretmans, Radboud University Nijmegen, Netherlands - T.H. Tse, University of Hong Kong, China - Andreas Ulrich, Siemens, Germany - Willem Visser, University of Stellenbosch, South Africa - Helene Waeselynck, LAAS-CNRS, France - Laurie Williams, North Carolina State University, USA - Eric Wong, University of Texas - Dallas, USA - Tao Xie, North Carolina State University, USA - Fatiha Zaidi, Paris Sud University, France - Andreas Zeller, Saarland University, Germany Supporters: ----------- DGIGL, Departement of Computer Science & Software Engineering at École Polytechnique de Montreal - http://www.polymtl.ca/gigl/ Reengineering Forum - http://www.reengineer.org/ SAP - http://www.sap.com Website: -------- For further details regarding the conference, please consult http://icst2012.soccerlab.polymtl.ca
To the Ada-Belgium home page.
Last update: 2012/03/07.
Dirk Craeynest