335 search results - page 28 / 67 » The Use of Instrumentation in Grammar Engineering |
ISSTA
2009
ACM
15 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
ARCS
2009
Springer
15 years 4 months ago
2009
Springer
In sampling based hotspot detection, performance engineers sample the running program periodically and record the Instruction Pointer (IP) addresses at the sampling. Empirically, f...
FASE
2009
Springer
15 years 1 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....