A Technique for Verifying Component-Based Software

This publication has 13 references indexed in Scilit:

• Predicting problems caused by component upgrades
  Published by Association for Computing Machinery (ACM) ,2003
• Leveraging field data for impact analysis and regression testing
  Published by Association for Computing Machinery (ACM) ,2003
• Test-suite reduction and prioritization for modified condition/decision coverage
  IEEE Transactions on Software Engineering, 2003
• Automatic data-gathering agents for remote navigability testing
  IEEE Software, 2002
• Semantic anomaly detection in online data sources
  Published by Association for Computing Machinery (ACM) ,2002
• Tracking down software bugs using automatic anomaly detection
  Published by Association for Computing Machinery (ACM) ,2002
• Static verification of dynamically detected program invariants
  Electronic Notes in Theoretical Computer Science, 2001
• A framework for practical, automated black‐box testing of component‐based software†
  Software Testing, Verification and Reliability, 2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm
  Published by Springer Nature ,1998