While property based testing works well in many cases, random generation of inputs may not cover large parts of the pro- grams where the bugs may lie. Crowbar [9] is a testing tool for OCaml that com- bines property-based testing with AFL. Rather than generating random inputs, the ...
In particular, structural-based and mutation-based testing have been on focus by several research initiatives [8, 9, 11–29]. Despite the variety of approaches for testing AO software, too little has been reported about the difficulties of applying them based on practical experience. In other ...
We also use optional cookies for advertising, personalisation of content, usage analysis, and social media. By accepting optional cookies, you consent to the processing of your personal data - including transfers to third parties. Some third parties are outside of the European Economic Area, with...
Inter-class testing of o-o software in the presence of polymorphism Proceedings of the 1996 Conference of the Centre For Advanced Studies on Collaborative Research, IBM Press, Toronto, Ontario, Canada (1996), p. 30 Google Scholar [27] Programming tools group and sable research group, abc: The...
Many runtime verification tools are built based on Aspect-Oriented Programming (AOP) tools, most often AspectJ, a mature implementation of AOP for Java. Although already popular in the Java domain, there is few work on runtime verification of C programs
When i is an instance of an inner class, the Java expression i $0 designates the instance of the outer class object that created i. HashMap.java, line 149. Patches to the OpenJDK and all experimental data is available included in the non-anonymous supplemental material submitted with this ...
Most of the top1 existing tools for the online monitoring of Java programs, these in- clude tools such as Java-MOP [18, 30] and Tracematches [5], provide multithreaded monitoring support using one or more of the following two modes. The per-thread mode specifies that monitors are only ...
However, in concurrent programs, part of the execution may not be relevant: some processes may not have interacted with the one showing a mis- behavior, or may have interacted with it only at the very beginning of their execution, hence most of their execution is not relevant for the ...
In particular, Gobra has first-class predicates that enable a natural specification of concurrency primitives, for instance, to parameterize a lock by an invariant. Gobra is intended for the verification of substantial, real-world code, and is currently used to verify the Go implementation of ...
9. A system for analyzing a concurrent program stored in memory, which employs asynchronous function calls for communication and/or recursion, comprising: a program application stored on program storage media and configured to construct a control flow graph for a concurrent program being analyzed, the...