2016 · 54 citations · 39 references
Software MaintenanceProgram CheckingEngineeringVerificationSoftware EngineeringSource Code AnalysisSoftware AnalysisFormal VerificationEmpirical Software Engineering ResearchMany SpecsJava Api SpecificationsSystems EngineeringStatic CheckingBug-finding EffectivenessJava ApiRuntime VerificationComputer ScienceReal-time JavaStatic Program AnalysisSoftware DesignSoftware VerificationProgram AnalysisSoftware TestingFormal MethodsSystem Software
Runtime verification can be used to find bugs early, during software development, by monitoring test executions against formal specifications (specs). The quality of runtime verification depends on the quality of the specs. While previous research has produced many specs for the Java API, manually or through automatic mining, there has been no large-scale study of their bug-finding effectiveness.
39
Stephen M. Blackburn, Robin Garner, Chris Hoffmann et al. · 2006 · 1.6K citations · Full text
Performance Benchmarking, Engineering, Compiler Technology +21
Carlos Pacheco, Michael D. Ernst · 2007 · 496 citations
Engineering, Test Generation Algorithm, Configuration Parameters +11
Adding trace matching with free variables to AspectJ
Chris Allan, Pavel Avgustinov, Aske Simon Christensen et al. · 2005 · 425 citations
Engineering, Cross-cutting Concern, Software Engineering +21