Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testin...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bottaci, Leonardo (Editor ), Fraser, Gordon (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6303
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer networks .
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Keynote Addresses
  • Automatic Testing and Fixing for Eiffel
  • Testing and Proving, Hand-in-Hand
  • Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing
  • Full Papers
  • Masking Boundary Value Coverage: Effectiveness and Efficiency
  • Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
  • Bad Pairs in Software Testing
  • Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs
  • Filtering Test Models to Support Incremental Testing
  • Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?
  • Linguistic Security Testing for Text Communication Protocols
  • Tool Papers
  • An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation
  • TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization
  • A Fault Injection Tool for Testing Web Services Composition
  • Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models
  • A Generic Approach to Run Mutation Analysis
  • Challenge Paper
  • The Practical Assessment of Test Sets with Inductive Inference Techniques
  • Experience Reports
  • Mining API Popularity
  • Automatic Discovery of Unspecified Behaviors in Automotive Control Software
  • Fast Abstracts
  • An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information
  • A Multi-criteria Decision Making Framework for Real Time Model-Based Testing
  • Improved Testing through Refactoring: Experience from the ProTest Project
  • Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements
  • A New Approach for Software Testability
  • DOM Transactions for Testing JavaScript
  • The GZoltar Project: A Graphical Debugger Interface.

Ejemplares similares