DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Code coverage
Code coverage
Opportunities and Open Problems for Static and Dynamic Program Analysis Mark Harman∗, Peter O’Hearn∗ ∗Facebook London and University College London, UK
Addresssanitizer + Code Coverage Kostya Serebryany, Google Eurollvm 2014 New and Shiny -Fprofile-Instr-Generate
A Zero Kernel Operating System: Rethinking Microkernel Design by Leveraging Tagged Architectures and Memory-Safe Languages
Guidelines on Minimum Standards for Developer Verification of Software
The Impact of Software Evolution on Code Coverage Information
General Commands Reference Guide C
Non-Intrusive Structural Coverage for Objective Caml
A Flexible and Non-Intrusive Approach for Computing Complex Structural Coverage Metrics
Is Bytecode Instrumentation As Good As Source Code Instrumentation: an Empirical Study with Industrial Tools (Experience Report)
OBJECT-ORIENTED TECHNOLOGY VERIFICATION PHASE 3 REPORT— August 2007 STRUCTURAL COVERAGE at the SOURCE-CODE and OBJECT-CODE LEVELS 6
Code Coverage & Continuous Integration
Tutorial for Testconductor for Rhapsody in C++
How Code Coverage Analysis Can Improve Software Testing (Wie Codeabdeckungsanalyse Den Softwaretest Verbessern Kann) Ingo Nickles Sr
Using the GNU Compiler Collection
SRCIROR: a Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation
Red Hat Enterprise Linux 4 Red Hat Enterprise Linux 4
Injecting Execution Traces Into a Model-Driven Framework for Program Analysis Thibault Béziers La Fosse, Massimo Tisi, Jean-Marie Mottu
Code Coverage: Free Software and Virtualization to the Rescue
Top View
How to Misuse Code Coverage
Sanitize, Fuzz, and Harden Your C++ Code Kostya Serebryany (
[email protected]
)
Code Instrumentation with Mod-BEAM
Dynamic Program Analysis for Suggesting Test Improvements to Developers Oscar Vera-Pérez
Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization Clément Bera, Eliot Miranda, Marcus Denker, Stéphane Ducasse
Anonymous Users (That’S You!)
Efficiencies of Virtualization in Test and Evaluation
USER's GUIDE Version 6.4 New Editions of This Guide Incorporate All Material Added Or Changed Since the Previous Edition
BOLT: a Practical Binary Optimizer for Data Centers and Beyond
Code Coverage Criteria and Their Effect on Test Suite Qualities Master of Science Thesis in the Programme Software Engineering and Technology
MPLAB IDE User's Guide
Devpartner Studio Quick Reference - 2 Common Elements
Generalized Trace Compilation for Java
Test Coverage in Python Programs
BOLT: a Practical Binary Optimizer for Data Centers and Beyond
DPVC Quick Reference
Microsoft MQP
Software Validation Metrics Beyond Code Coverage
Coverage-Driven Verification — an Approach to Verify Code for Robots
Nightly Builds and Code Coverage
Automated Penetration Testing for Php Web Applications
Using Code Coverage to Improve the Reliability of Embedded Software Whitepaper | V3.0 2020-11 Using Code Coverage to Improve the Reliability of Embedded Software
A Survey of Compiler Testing (2019)
Lwprof: Lightweight Profiling and Coverage Tool for Embedded
Symbolic Execution with Symcc: Don't Interpret, Compile!
Is 100% Code Coverage Enough? Nomenclature, Measures and Values of Code Coverage
Exploring Output-Based Coverage for Testing PHP Web Applications
Implement Detection of Duplicate Test Coverage for Java Applications
The Advantages of Post-Link Code Coverage
Efficient Binary-Level Coverage Analysis
Representing and Reasoning About Dynamic Code
Code Coverage Tool Reference Manual for HP Integrity Nonstop NS-Series Servers
Instrumenting Java Bytecode
Halcogen-CSP Without LDRA User's Guide (Pdf
Efficient Interpreters and Profilers for Hosted Dynamic Languages
Efficient Tracing of Cold Code Via Bias-Free Sampling
Code Coverage: Covered in Depth Sebastian Bergmann | May 21St 2015 Sebastian Bergmann Helps Teams to Successfully Craft the Right Software
Software Model Checking Via Static and Dynamic Program Analysis
Estimating Residual Faults from Code Coverage
Using Code Coverage Tools in the Linux Kernel
IBM C and C Maintenance and Test Toolsuite User's Manual
Code Coverage at Google
Dynamic Analysis and Fuzzing Lecturer: Suman Jana Scribe: Jonas Guan Feb 21, 2019
Branch Coverage: Squeezing More out of LLVM Source-Based Code Coverage
Code Pulse: Real-Time Code Coverage for Penetration Testing Activities
An Automated Approach to Estimating Code Coverage Measures Via Execution Logs
Code Coverage and Static Analysis
Automatic Generation of Test Cases to Improve Code Coverage in Java DEGREE FINAL WORK
S5U1C17001C Manual
Coverage Validator Help