London software testing news UK

International Symposium on Software Testing and Analysis

Posted in Software testing by testing in London on July 4, 2007

ISSTA is the leading research conference in software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience. Responding to the growth and impact of our thriving community, ISSTA has changed from its traditional biannual schedule to an annual one. In 2007 ISSTA will be held in the beautiful city of London at the Brunei SOAS Gallery from the 9th to 12th July 2007.

he programme includes:

  • Making Automatic Code Destruction Easy and Scalable
  • Debugging
  • Statistical Debugging Using Compound Boolean Predicates
  • Debugging in Parallel
  • Instrumenting Where it Hurts – An Automatic Concurrent Debugging Technique
  • Model Checking and Components
  •  Interface Grammars for Modular Software Model Checking
  • Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
  • Automating Component-Based System Assembly
  • Empirical Studies of Testing Approaches
  • A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation
  • Experimental Assessment of Random Testing for Object-Oriented Software
  • Improving Software Testing in the Real World
  • Hybrid Analysis
  • Variably Interprocedural Program Analysis for Runtime Error Detection
  • Using Portfolio Theory for Better and More Consistent Quality
  • Blended Analysis for Performance Understanding of Framework-based Applications
  • Testing
  • Interaction Testing of Highly-configurable Systems in the Presence of Constraints
  • Pareto Efficient Multi-Objective Test Case Selection
  • Dynamic Test Input Generation for Database Applications
  • Static Analysis
  • Finding What’s Not There: A New Approach to Revealing Neglected Conditions in Software
  • Static Specification Mining Using Automata-Based Abstractions
  • Dynamic Analysis
  • Efficient Online Detection of Dynamic Control Dependence
  • A Generic Dynamic Taint Analysis Framework
  • Enabling Tracing Of Long-Running Multithreaded Programs Via Dynamic Execution Reduction
  • Fault Localization
  • Automating Algorithms for the Identification of Fault-Prone Files
  • Hierarchical Dynamic Slicing
  • Heuristic Ranking of Java Program Edits for Fault Localization

For more information visit ISSTA 2007

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: