Publications (1)

more >>

  • 1
    Improving Testsuites via Instrumentation
    The test cases are designed to maximize the probability of detecting errors in the program, i.e., incorrect conditions, ...Therefore, we have used a special feature of our grammar development environment: Following the LFG spirit of different repr...