[ecoop-info] CfPart: TAIC PART 2010

[Gordon Fraser]

CALL FOR PARTICIPATION

Testing: Academic and Industrial Conference -
Practice and Research Techniques (TAIC PART 2010)

Windsor, United Kingdom
September 3 - 5, 2010

http://www2010.taicpart.org/

We would like to heartily invite you to participate at Testing:
Academic and Industrial Conference - Practice and Research Techniques
(TAIC PART 2010).

Theme and Goals:
----------------
TAIC PART is a conference that aims to forge collaboration between
industry and academia on the challenging and exciting problem of
software testing. It is sponsored by representatives of both industry
and academia, bringing together commercial and industrial software
developers and users with academic researchers working on the theory
and practice of software testing. The goals of TAIC PART range from
the articulation of fundamental research questions in the field of
software testing and analysis to practical challenges that are often
faced by software developers in industry.  TAIC PART is a unique event
that strives to combine the important aspects of a software testing
conference, workshop, and retreat.

Keynote Speakers:
-----------------

  * Bertrand Meyer, ETH Zuerich, Switzerland: Automatic Testing and
    Fixing for Eiffel

  * Wolfgang Grieskamp, Microsoft, USA: Microsoft's Protocol
    Documentation Program: A Success Story for Model-Based Testing

  * Sir Tony Hoare, MS Research, UK: Testing and Proving, Hand-in-Hand


Full Papers:
---------------------

  * Bad Pairs in Software Testing (Daniel Hoffman, Mitch Chang, Gary
    Bazdell, Brett Stevens, Kevin Yoo)

  * Linguistic Security Testing for Text Communication Protocols (Ben
    Kam, Thomas Dean)

  * Masking Boundary Value Coverage: Effectiveness and Efficiency
    (P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri,
    Venkatesh R)

  * Model Checking Erlang - A Comparison between Etomcrl2 and McErlang
    (Qiang Guo, John Derrick, Clara Benac Earle, Lars-Ake Fredlund)

  * Filtering Test Models to Support Incremental Testing (Antti
    Jaeaskelainen)

  * Localizing Defects in Multithreaded Programs by Mining Dynamic
    Call Graphs (Frank Eichinger, Victor Pankratius, Philipp,
    W. L. Grosse, Klemens Boehm)

  * Does Testing Help to Reduce the Number of Potentially Faulty
    Statements in Debugging (Mihai Nica, Simona Nica, Franz Wotawa)


Tool Papers:
---------------------

  * An Open-Source Tool for Automated Generation of Black-box xUnit
    Test Code and its Industrial Evaluation (Christian Wiederseiner,
    Shahnewaz Amin Jolly, Vahid Garousi, Matt M. Eskandar)

  * TeCReVis: A Tool for Test Coverage and Test Redundancy
    Visualization (Negar Koochakzadeh, Vahid Garousi)

  * A Fault Injection Tool for Testing Web Services Composition
    (Faycal Bessayah, Ana Cavalli, Willian Maja, Eliane Martins, Andre
    W. Valenti)

  * Synthesis of On-line Planning Tester for Non-deterministic EFSM
    Models (Marko Kaearamees, Kullo Raiend, Juri Vain)

  * A Generic Approach to Run Mutation Analysis (Stephan Weissleder,
    Siamak Haschemi)


Challenge Papers:
--------------------------

  * The Practical Assessment of Test Sets with Inductive Inference
    Techniques (Neil Walkinshaw)


Experience Reports:
---------------------------

  * Mining API Popularity (Yana Mileva, Valentin Dallmeier, Andreas
  Zeller)

  * Automatic Discovery of Unspecified Behaviors in Automotive Control
    Software (Muzammil Shahbaz, Robert Eschbach)


Fast Abstracts:
------------------------

  * An Empirical Evaluation to Study Benefits of Visual versus Textual
    Test Coverage Information (Vahid Garousi, Negar Koochakzadeh)

  * A Multi-Criteria Decision Making Framework for Real Time
    Model-Based Testing (Mohammad Saeed Abou Trab, Bachar Alrouh,
    Steve Counsell, Rob Hierons, George Ghinea)

  * Improved Testing Through Refactoring: Experience from the ProTest
    Project (Simon Thompson, Huiqing Li)

  * A New Approach for Software Testability (Lydie du Bousquet)

  * Towards Run-time Monitoring of Web Services Conformance to
    Business-Level Agreements (Konstantinos Bratanis, Dimitris
    Dranidis, Anthony Simons)

  * DOM Transactions for Testing JavaScript (Phillip Heidegger,
    Annette Bieniusa, Peter Thiemann)

  * The GZoltar Project: A Graphical Debugger Interface (Andre
    Riboira, Rui Abreu)


Important Dates:
----------------
* Registration deadline: August 15, 2010
* Conference dates: September 3-5, 2010

Conference Chair:
-----------------
Anthony Simons, Sheffield University, UK
				
Program Co-Chairs:
------------------
Leonardo Bottaci, University of Hull, UK
Gordon Fraser, Saarland University, Germany

Program Committee:
------------------
Rui Abreu, University of Porto, Portugal
Paul Baker,  Motorola, UK
Sigrid Eldh, Ericsson, Sweden
Michael Ernst, University of Washington, USA
Mark Harman, King's College, UK
Rob Hierons, Brunel University, UK
Daniel Hoffman, University of Victoria, Canada
John Hughes, QuviQ, Sweden
Gregory Kapfhammer, Allegheny College, USA
Wes Masri, American University of Beirut, Lebanon
Phil McMinn, Sheffield University, UK
Atif Memon, University of Maryland, USA
Manuel Nunez, Universidad Complutense de Madrid, Spain
Jeff Offutt, George Mason University, USA
Alexander Pretschner, Technische Universitaet Kaiserslautern, Germany
Filippo Ricca, Università degli Studi di Genova, Italy
Marc Roper, University of Strathclyde, Scotland
Paul Strooper, The University of Queensland, Australia
Nikolai Tillmann, Microsoft Research, USA
Timea Illes-Seifert, University of Heidelberg, Germany
Hasan Ural, University of Ottawa, Canada
Neil Walkinshaw, Sheffield University, UK
Elaine Weyuker, AT&T Research Labs, USA

Website:
--------
http://www2010.taicpart.org/