Using Static Analysis to Improve Automatic Test Generation

This publication has 10 references indexed in Scilit:

• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• Verification and test generation for the SSCOP protocol
  Science of Computer Programming, 2000
• Formal Test Automation: A Simple Experiment
  Published by Springer Nature ,1999
• IF: An Intermediate Representation for SDL and its Applications
  Published by Elsevier ,1999
• Partial Evaluation
  Published by Springer Nature ,1999
• The I2C-bus in discrete-time process algebra
  Science of Computer Programming, 1997
• Program Slicing-Based Regression Testing Techniques
  Software Testing, Verification and Reliability, 1996
• OSI conformance testing
  Computer Networks and ISDN Systems, 1987
• Program Slicing
  IEEE Transactions on Software Engineering, 1984
• A unified approach to global program optimization
  Published by Association for Computing Machinery (ACM) ,1973