资源下载

程序名版本数LOC语言引用文章
16 drivers from the Linux 4.0 kernel: generic_nvram10100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
2atan12123CAutomatically improving accuracy for floating point expressions
2cbrt10100CAutomatically improving accuracy for floating point expressions
2cos12123CAutomatically improving accuracy for floating point expressions
2frac10100CAutomatically improving accuracy for floating point expressions
2isqrt12123CAutomatically improving accuracy for floating point expressions
2log10100CAutomatically improving accuracy for floating point expressions
2nthrt12123CAutomatically improving accuracy for floating point expressions
2sin10100CAutomatically improving accuracy for floating point expressions
2sqrt12123CAutomatically improving accuracy for floating point expressions
2stage10100CConcurrency, bug localization, constraint solving, differential schedule projection
2tan12123CAutomatically improving accuracy for floating point expressions
3frac10100CAutomatically improving accuracy for floating point expressions
8139too12123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
a2ps10100CStatic analysis, context-sensitive analysis
A4j12123CTest data generation, Optimisation, Adaptive parameter control; Automatic test generation, random testing, static analysis, dynamic analysis
Abyss 200010100CMultiple-Criteria Decision Making (MCDM), Dependability benchmarking, Quality models
Abyss 200312123CMultiple-Criteria Decision Making (MCDM), Dependability benchmarking, Quality models
Abyss XP10100CMultiple-Criteria Decision Making (MCDM), Dependability benchmarking, Quality models
access-nbody12123CDetecting function purity in JavaScript
ADI10100CCompiler-assisted detection of transient memory errors
via program dependence graphs
Amort.Queue12123CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
android-rss10100CReliable testing: detecting state-polluting tests to prevent test dependency
Ant12123CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Cost-effective regression testing through Adaptive Test Prioritization strategies; Prioritized static slicing and its application to fault localization; What to expect of predicates: An empirical analysis of predicates in real world programs; Static change impact analysis techniques: A comparative study; Practical regression test selection with dynamic file dependencies
antlr10100COn abstraction refinement for program analyses in Datalog; Hybrid top-down and bottom-up interprocedural analysis; Persistent pointer information; Introspective Analysis: Context-Sensitivity, Across the Board ; Pruning, Pushdown Exception-Flow Analysis
Apache12123CHow do bugs surface? A comprehensive study on the characteristics of software bugs manifestation; What to expect of predicates: An empirical analysis of predicates in real world programs; Multi-criteria analysis of measures in benchmarking: Dependability benchmarking as a case study; Intent, tests, and release dependencies: Pragmatic recipes for source code integration; S-looper: automatic summarization for multipath string loops; CLAMI: Defect Prediction on Unlabeled Datasets; A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
Aphyds10100CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Arbaro12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
ArgoUML10100CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; What to expect of predicates: An empirical analysis of predicates in real world programs
ASM 12123CGRT: Program-Analysis-Guided Random Testing
AspectJ10100CCombining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports
aspell12123CAutomated Support for Reproducing and Debugging Field Failures
Athou Commafeed10100CReliable testing: detecting state-polluting tests to prevent test dependency
AVL Tree12123CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
avrora10100CHybrid top-down and bottom-up interprocedural analysis
Azureus12123CMutation-Based Fault Localization for Real-World Multilingual Programs
Barbecue10100CAutomatically Generating Test Templates from Test Names
barcode12123CSelective context-sensitivity guided by impact pre-analysis
Barnes-Hut octree (bh)10100CTree dependence analysis
batik12123CPersistent pointer information
bbuf10100CConcurrency Debugging with Differential Schedule Projections
bc12123CSelective context-sensitivity guided by impact pre-analysis
BCEL10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs;On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance; GRT: Program-Analysis-Guided Random Testing; DIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness
Biff12123CTest data generation with a Kalman filter-based adaptive genetic algorithm
binary search tree (bst)10100CTree dependence analysis
Bind12123CS-looper: automatic summarization for multipath string loops; Testing static analysis tools using exploitable buffer overflows from open source code
BinomialHeap10100CEnhancing reuse of constraint solutions to improve symbolic execution; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
BinTree12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; Enhancing reuse of constraint solutions to improve symbolic execution
Birt10100CCombining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports
Bit Tricks12123CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
bloat10100CIntrospective Analysis: Context-Sensitivity, Across the Board; Persistent pointer information;Pruning, Pushdown Exception-Flow Analysis
BlueBlog12123CExploring context-sensitive data flow analysis for early vulnerability detection
blwd10100CMaking numerical program analysis fast
Boa infrastructure12123CExploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses
bubble-sort10100CBit-Level Taint Analysis
Buddi12123CTest Case Prioritization Using Extended Digraphs
Bugzilla 10100CTCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation
Bukki12123CReliable testing: detecting state-polluting tests to prevent test dependency
BVal10100CPractical regression test selection with dynamic file dependencies
bzip212123CEfficient Utilization of Secondary Storage for Scalable Dynamic Slicing; Concurrency Debugging with Differential Schedule Projections
cache4j10100CConcurrency Debugging with Differential Schedule Projections
Caelum Vraptor12123CReliable testing: detecting state-polluting tests to prevent test dependency
calculator10100CSelective context-sensitivity guided by impact pre-analysis
Camel (core)12123CPractical regression test selection with dynamic file dependencies
cassandra10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; A Parallel On-Demand Algorithm for Computing Interprocedural Dominators
CG12123CCompiler-assisted detection of transient memory errors
via program dependence graphs
Chainsaw10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Chaperon12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
chart10100CPersistent pointer information; Introspective Analysis: Context-Sensitivity, Across the Board; Pruning, Pushdown Exception-Flow Analysis
Charts4J12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Checkstyle10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Cherokee Web Server12123CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
cholesky10100CCompiler-assisted detection of transient memory errors
via program dependence graphs
Chromium12123CAutomatic runtime error repair and containment via recovery shepherding
Cilib10100CEffective Techniques for Static Race Detection in Java Parallel Loops
ClassViewer 12123CGRT: Program-Analysis-Guided Random Testing
Claws Mail10100CAutomatic runtime error repair and containment via recovery shepherding
ClosureComplier12123CPractical regression test selection with dynamic file dependencies
CMS10100CExploring and enforcing security guarantees
via program dependence graphs; Exploring and enforcing security guarantees
via program dependence graphs
Cobertura12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
cocos2d10100CCopy and Paste Redeemed
codec12123CA Memetic Algorithm for whole test suite generation; Feedback-controlled random test generation; GRT: Program-Analysis-Guided Random Testing
collections10100CAutomatically Generating Test Templates from Test Names; Feedback-controlled random test generation
colt12123CArray Shadow State Compression for Precise Dynamic Race Detection
beanutils10100CAutomatically Generating Test Templates from Test Names
Commons CLI12123CAutomatically Generating Test Templates from Test Names; Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study; A Memetic Algorithm for whole test suite generation; GRT: Program-Analysis-Guided Random Testing; Hybrid regression test selection
Codec10100CA Memetic Algorithm for whole test suite generation
collections-3.2.112123CAutomatically Generating Test Templates from Test Names
Compress 10100CGRT: Program-Analysis-Guided Random Testing; Hybrid regression test selection
Config12123CPractical regression test selection with dynamic file dependencies
DBCP10100CPractical regression test selection with dynamic file dependencies
Email12123CAutomatically identifying focal methods under test in unit test cases
JXPath10100CPractical regression test selection with dynamic file dependencies; What to expect of predicates: An empirical analysis of predicates in real world programs; Hybrid regression test selection
Lang12123CDo Automatically Generated Unit Tests Find Real Faults?
An Empirical Study of Effectiveness and Challenges Find Real Faults?; GRT: Program-Analysis-Guided Random Testing; Feedback-controlled random test generation
Lang310100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Practical regression test selection with dynamic file dependencies
Math12123CPractical regression test selection with dynamic file dependencies; Feedback-controlled random test generation; GRT: Program-Analysis-Guided Random Testing; Do Automatically Generated Unit Tests Find Real Faults?
An Empirical Study of Effectiveness and Challenges Find Real Faults?; A Memetic Algorithm for whole test suite generation; Detecting function purity in JavaScript
Net10100CPractical regression test selection with dynamic file dependencies;
Primitive 12123CGRT: Program-Analysis-Guided Random Testing
Primitives10100CDoes Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
Validator12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Practical regression test selection with dynamic file dependencies; Hybrid regression test selection
Coll410100CPractical regression test selection with dynamic file dependencies
Commons-io12123CAutomatically Generating Test Templates from Test Names
CompCert10100CCompiler Validation via Equivalence Modulo Inputs
Continuum12123CPractical regression test selection with dynamic file dependencies
controlflow-recursive10100CDetecting function purity in JavaScript
Coref12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
cos210100CAutomatically improving accuracy for floating point expressions; Copy and Paste Redeemed
crasher12123CConcurrency Debugging with Differential Schedule Projections
crypt10100CMaking numerical program analysis fast
crypto-sha112123CDetecting function purity in JavaScript
CrytoDB10100CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
CSLICER12123CSemantic Slicing of Software Version Histories
Cucumber10100CPractical regression test selection with dynamic file dependencies
cuke4duke12123CReliable testing: detecting state-polluting tests to prevent test dependency
CVE database10100CAutomatic runtime error repair and containment via recovery shepherding
CXF12123CTest Analysis: Searching for Faults in Tests
DaCapo10100CLeakTracer: Tracing leaks along the way; Fast Flow Analysis with Godel Hashes; Pruning, Pushdown Exception-Flow Analysis; Array Shadow State Compression for Precise Dynamic Race Detection; JaConTeBe A Benchmark Suite of Real-World Java Concurrency Bugs
DataStructures12123CAutomatically Generating Test Templates from Test Names
Gson10100CAutomatically Generating Test Templates from Test Names; Feedback-controlled random test generation
DAWN12123CTest data generation with a Kalman filter-based adaptive genetic algorithm
Dcparseargs 10100CGRT: Program-Analysis-Guided Random Testing
decorate12123CA Parallel On-Demand Algorithm for Computing Interprocedural Dominators
DEFECTS4J10100CGRT: Program-Analysis-Guided Random Testing; Context-aware patch generation for better automated program repair; Towards practical program repair with on-demand candidate generation;Do automated program repair techniques repair hard and important bugs?; Enlightened debugging; Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults
Derby12123CTest Analysis: Searching for Faults in Tests; What to expect of predicates: An empirical analysis of predicates in real world programs; A Parallel On-Demand Algorithm for Computing Interprocedural Dominators; Proactive detection of inadequate diagnostic messages for software configuration errors
Dozer10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
DrawLets12123CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
DROIDBENCH10100CFlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps
Dropwizard12123CReliable testing: detecting state-polluting tests to prevent test dependency
ds128610100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
DsaChat12123CTest data generation with a Kalman filter-based adaptive genetic algorithm
dsyrk10100CCompiler-assisted detection of transient memory errors
via program dependence graphs
dtlk12123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
d-tree (kd)10100CTree dependence analysis
dump12123CA Parallel On-Demand Algorithm for Computing Interprocedural Dominators
DvdHome10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
Easymock12123CGRT: Program-Analysis-Guided Random Testing; What to expect of predicates: An empirical analysis of predicates in real world programs
eclipse10100CIntrospective Analysis: Context-Sensitivity, Across the Board
Eclipse JDT Core12123CSupplementary Bug Fixes vs. Re-opened Bugs
Eclipse Platform SWT10100CSupplementary Bug Fixes vs. Re-opened Bugs
Eclipse UI12123CCombining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports
Edbrowse10100CS-looper: automatic summarization for multipath string loops
eeorzcap12123CMaking numerical program analysis fast
Elasticsearch10100CSemantic Slicing of Software Version Histories
elevator12123CHybrid top-down and bottom-up interprocedural analysis
Em3D10100CEffective Techniques for Static Race Detection in Java Parallel Loops
EMMA 2.0.531212123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
EmpireDB10100CPractical regression test selection with dynamic file dependencies
Enron email corpus 12123CA grammar for spreadsheet formulas evaluated on two large datasets
Euclid10100CEnhancing reuse of constraint solutions to improve symbolic execution
exim12123CAutomated Support for Reproducing and Debugging Field Failures
exp210100CAutomatically improving accuracy for floating point expressions
expax12123CAutomatically improving accuracy for floating point expressions
expm110100CAutomatically improving accuracy for floating point expressions
expq212123CAutomatically improving accuracy for floating point expressions
expq310100CAutomatically improving accuracy for floating point expressions
facebook/hhvm12123CCopy and Paste Redeemed
Fakemongo Fongo10100CReliable testing: detecting state-polluting tests to prevent test dependency
FibHeap12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
FibonacciHeap10100CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
find12123CAutomated Support for Reproducing and Debugging Field Failures
FindBugs 2.0.010100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
firefox12123CModeling and analysis of reliability of multi-release open source software incorporating both fault detection and correction processes; Making numerical program analysis fast
Fixsuite 10100CGRT: Program-Analysis-Guided Random Testing
FizzBuzzEE12123CReliable testing: detecting state-polluting tests to prevent test dependency
flex10100CEmpirical evaluation of pareto efficient multi-objective regression test case prioritisation; Input-based adaptive randomized test case prioritization: A local beam search approach
Flume12123CTest Analysis: Searching for Faults in Tests
Follow10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
fop12123CPruning, Pushdown Exception-Flow Analysis; Persistent pointer information
FreeBSD10100CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
FreeCS12123CExploring and enforcing security guarantees
via program dependence graphs; Exploring and enforcing security guarantees
via program dependence graphs
FreeMind10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
FreeType library 12123CAutomatic runtime error repair and containment via recovery shepherding
fs327010100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
FtpSercer12123CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Functor10100CPractical regression test selection with dynamic file dependencies
galileo12123CCost-effective regression testing through Adaptive Test Prioritization strategies
Gantt10100CExploiting traceability uncertainty among artifacts and code
GCC12123CTCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation; Randomized stress-testing of link-time optimizers; Compiler Validation via Equivalence Modulo Inputs
gdrom10100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
GeoServer12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
GIMP10100CAutomatic runtime error repair and containment via recovery shepherding; What to expect of predicates: An empirical analysis of predicates in real world programs
GNOME desktop integrated calculator 12123CData tainting and obfuscation: Improving plausibility of incorrect taint
GNOME Library10100CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
GNU Compiler Collection12123CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Google Closure compiler10100CDo Automatically Generated Unit Tests Find Real Faults?
An Empirical Study of Effectiveness and Challenges Find Real Faults?
google/protobuf12123CCopy and Paste Redeemed
Gradle 1.010100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
GraphHopper12123CPractical regression test selection with dynamic file dependencies
GreenCow10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
grep12123CEmpirical evaluation of pareto efficient multi-objective regression test case prioritisation; Empirical evaluation of pareto efficient multi-objective regression test case prioritisation; Automated Support for Reproducing and Debugging Field Failures; Input-based adaptive randomized test case prioritization: A local beam search approach
gs10100CPersistent pointer information
GSCoolections12123CPractical regression test selection with dynamic file dependencies
gson10100CAutomatically Generating Test Templates from Test Names; Feedback-controlled random test generation
Guava12123CGRT: Program-Analysis-Guided Random Testing; Feedback-controlled random test generation; Practical regression test selection with dynamic file dependencies
gwsfmlau10100CMaking numerical program analysis fast
gzip12123CEfficient Utilization of Secondary Storage for Scalable Dynamic Slicing; Input-based adaptive randomized test case prioritization: A local beam search approach; Empirical evaluation of pareto efficient multi-objective regression test case prioritisation; A Stack Memory Abstraction and Symbolic Analysis Framework for Executables; Automated Support for Reproducing and Debugging Field Failures
h210100CFeedback-controlled random test generation
Hadoop12123CTest Analysis: Searching for Faults in Tests; Semantic Slicing of Software Version Histories; What to expect of predicates: An empirical analysis of predicates in real world programs;
Hadoop (core)10100CPractical regression test selection with dynamic file dependencies
Hadoop-Common12123CAutomated memory leak diagnosis by regression testing
Hadoop-HDFS10100CAutomated memory leak diagnosis by regression testing
Hadoop-Yarn12123CAutomated memory leak diagnosis by regression testing
Hamcrest-core 10100CGRT: Program-Analysis-Guided Random Testing
Hbase12123CTest Analysis: Searching for Faults in Tests
Heal10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
HeapArray12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Heavens10100CProfiling and classifying the behavior of malicious codes
hedc12123COn abstraction refinement for program analyses in Datalog; Hybrid top-down and bottom-up interprocedural analysis
Helium benchmark10100CDiagnosing type errors with class
Hibernate ORM 4.1.112123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
HillClimber10100CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Honeynet project12123CProfiling and classifying the behavior of malicious codes
hsqldb10100CA Parallel On-Demand Algorithm for Computing Interprocedural Dominators; Pruning, Pushdown Exception-Flow Analysis; Introspective Analysis: Context-Sensitivity, Across the Board
htget12123CAutomated Support for Reproducing and Debugging Field Failures
Http Server10100CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs; TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation
Http client12123CReliable testing: detecting state-polluting tests to prevent test dependency
httptunnel-3.310100CSelective context-sensitivity guided by impact pre-analysis
HttpUnit 1.712123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
huffman10100CBit-Level Taint Analysis
hunatcha12123CBit-Level Taint Analysis
IBM benchmark suite10100CJaConTeBe A Benchmark Suite of Real-World Java Concurrency Bugs
IBM ConTest benchmarks12123CConcurrency Debugging with Differential Schedule Projections
ICC10100CCompiler Validation via Equivalence Modulo Inputs
ideawu/ssdb. facebook/rocksdb12123CCopy and Paste Redeemed
Identities10100CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
IndexReader12123CA Parallel On-Demand Algorithm for Computing Interprocedural Dominators
Insert.Sort10100CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
IntAVLTreeMap12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
intel_nfcsim10100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
intel_scu_wd12123Cintel_scu_wd
IntRedBlackTree10100CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
IntroClass benchmark12123CRepairing Programs with Semantic Code Search
invcot10100CAutomatically improving accuracy for floating point expressions
Ivy12123CPractical regression test selection with dynamic file dependencies
JABA10100CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Prioritized static slicing and its application to fault localization
Jackrabbit12123CCLAMI: Defect Prediction on Unlabeled Datasets
jacobi1d10100CCompiler-assisted detection of transient memory errors
via program dependence graphs
JaConTeBe12123CJaConTeBe A Benchmark Suite of Real-World Java Concurrency Bugs
Java 2D Physics Engine10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Java APNS12123CReliable testing: detecting state-polluting tests to prevent test dependency
Java Parallel Grande (JPG)10100CJaConTeBe A Benchmark Suite of Real-World Java Concurrency Bugs
Java PathFinder12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
toba-s10100CHybrid top-down and bottom-up interprocedural analysis; On abstraction refinement for program analyses in Datalog
Java Simp. Arg. Parser 12123CGRT: Program-Analysis-Guided Random Testing
Java View Control 10100CGRT: Program-Analysis-Guided Random Testing
java.util12123CGRT: Program-Analysis-Guided Random Testing
JFreeChart10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Practical regression test selection with dynamic file dependencies; Do Automatically Generated Unit Tests Find Real Faults?
An Empirical Study of Effectiveness and Challenges Find Real Faults?; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; Static automated program repair for
heap properties
; Hybrid regression test selection
; FAST approaches to scalable
similarity-based test case prioritization
; On the diffuseness and the impact on maintainability of code smells: a large scale empirical investigation
Java2Html 5.012123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
java-gnome10100CMutation-Based Fault Localization for Real-World Multilingual Programs
javasrc-p12123COn abstraction refinement for program analyses in Datalog; Hybrid top-down and bottom-up interprocedural analysis
Javassist10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Javassit 12123CGRT: Program-Analysis-Guided Random Testing
Javax Mail 10100CGRT: Program-Analysis-Guided Random Testing
jaxen12123CMutation testing cost reduction by clustering overlapped mutants
jbb10100CArray Shadow State Compression for Precise Dynamic Race Detection
mtrt12123CArray Shadow State Compression for Precise Dynamic Race Detection
JBoss 6.1.010100CIntent, tests, and release dependencies: Pragmatic recipes for source code integration; What to expect of predicates: An empirical analysis of predicates in real world programs
Jcommander 12123CGRT: Program-Analysis-Guided Random Testing
JDOM 1.1.310100CMutation testing cost reduction by clustering overlapped mutants
JDT12123CCombining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports; Supplementary Bug Fixes vs. Re-opened Bugs
JEdit 4.5.010100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Jenkins12123CPractical regression test selection with dynamic file dependencies
Jetty10100CFeedback-controlled random test generation; Practical regression test selection with dynamic file dependencies; Test Analysis: Searching for Faults in Tests; What to expect of predicates: An empirical analysis of predicates in real world programs; Proactive detection of inadequate diagnostic messages for software configuration errors
Jetty HTTP Server12123CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Jetty-hightide 7.4.010100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
JEval 0.9.412123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
JGaap10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
JGAP12123CAutomatically identifying focal methods under test in unit test cases
JGF10100CCalculation coverage testing in scientific applications
JGimp 0.8.512123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Jgit10100CPractical regression test selection with dynamic file dependencies
JHD 12123CExploiting traceability uncertainty among artifacts and code
JHotDraw10100CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
JLine 1.012123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
JMeter10100CStatic change impact analysis techniques: A comparative study; On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance; Proactive detection of inadequate diagnostic messages for software configuration errors; DIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Cost-effective regression testing through Adaptive Test Prioritization strategies; Prioritized static slicing and its application to fault localization; What to expect of predicates: An empirical analysis of predicates in real world programs
Joda12123CTest Analysis: Searching for Faults in Tests
Joda Time10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; A Memetic Algorithm for whole test suite generation; Practical regression test selection with dynamic file dependencies; Do Automatically Generated Unit Tests Find Real Faults?
An Empirical Study of Effectiveness and Challenges Find Real Faults?; GRT: Program-Analysis-Guided Random Testing; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; Mutation testing cost reduction by clustering overlapped mutants; Hybrid regression test selection
;FAST approaches to scalable
similarity-based test case prioritization
Joeq JVM12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Jopt Simple10100CReliable testing: detecting state-polluting tests to prevent test dependency
jpat-p12123CHybrid top-down and bottom-up interprocedural analysis
Hybrid top-down and bottom-up interprocedural analysis10100CReliable testing: detecting state-polluting tests to prevent test dependency
JTopas12123CStatic change impact analysis techniques: A comparative study; Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency
JTreeProfiler 1.1.110100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
JUnit12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Effective Techniques for Static Race Detection in Java Parallel Loops
Jwbf10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
jwgqbjzs12123CMaking numerical program analysis fast
JXPath10100CPractical regression test selection with dynamic file dependencies; What to expect of predicates: An empirical analysis of predicates in real world programs
jython12123CIntrospective Analysis: Context-Sensitivity, Across the Board
kawa-c10100CHybrid top-down and bottom-up interprocedural analysis
Kuujo Vertigo12123CReliable testing: detecting state-polluting tests to prevent test dependency
less-38210100CSelective context-sensitivity guided by impact pre-analysis
Libgd12123CS-looper: automatic summarization for multipath string loops
LibreOffice10100CAutomatic runtime error repair and containment via recovery shepherding
gcc.libx26412123CEfficient Utilization of Secondary Storage for Scalable Dynamic Slicing
Lightwallet 1.1.510100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Lilith12123CTest data generation with a Kalman filter-based adaptive genetic algorithm
Linear Math Java Library10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
linked list (ll)12123CTree dependence analysis
Linux Kernel10100CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
linux_full12123CMaking numerical program analysis fast
List Ops.10100CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
LLVM12123CRandomized stress-testing of link-time optimizers; ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs; Compiler Validation via Equivalence Modulo Inputs
Log4J10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Practical regression test selection with dynamic file dependencies
logq12123CAutomatically improving accuracy for floating point expressions
logs10100CAutomatically improving accuracy for floating point expressions
Lotus 12123CTest data generation with a Kalman filter-based adaptive genetic algorithm
LU10100CCompiler-assisted detection of transient memory errors
Lucene 3.5.012123CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Exploring community structure of software Call Graph and its applications in class cohesion measurement; CLAMI: Defect Prediction on Unlabeled Datasets; Test Analysis: Searching for Faults in Tests; Effective Techniques for Static Race Detection in Java Parallel Loops
lufact10100CMaking numerical program analysis fast
luindex12123COn abstraction refinement for program analyses in Datalog
lusearch10100COn abstraction refinement for program analyses in Datalog
lynx12123CA Stack Memory Abstraction and Symbolic Analysis Framework for Executables
machzwd10100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
MADWiFi12123CS-looper: automatic summarization for multipath string loops
Mahout 0.610100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
make12123CEmpirical evaluation of pareto efficient multi-objective regression test case prioritisation
Mango 10100CGRT: Program-Analysis-Guided Random Testing
math12123CFeedback-controlled random test generation
Math310100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Math4J12123CDoes Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
math-spectral-norm10100CDetecting function purity in JavaScript
matmult12123CMaking numerical program analysis fast
matrix-multiply10100CBit-Level Taint Analysis
Maven12123C Test Analysis: Searching for Faults in Tests; What to expect of predicates: An empirical analysis of predicates in real world programs
Maven-Plugins10100CReliable testing: detecting state-polluting tests to prevent test dependency
MerArbiter12123CEnhancing reuse of constraint solutions to improve symbolic execution
Merge Sort10100CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
MiniDraw12123CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Mockito 1.8.510100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
moldyn12123CMaking numerical program analysis fast; Compiler-assisted detection of transient memory errors
via program dependence graphs
mongodb/mongo10100CCopy and Paste Redeemed
MonteCarlo12123CEffective Techniques for Static Race Detection in Java Parallel Loops
Mozilla10100CSupplementary Bug Fixes vs. Re-opened Bugs
Mozilla HTML Parser 0.3.012123CWhat to expect of predicates: An empirical analysis of predicates in real world programs;
Mozilla Metrics10100CReliable testing: detecting state-polluting tests to prevent test dependency
Mozilla’s XPCOMlibraryt12123CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
MPI10100CWhen truth is efficient: analysing concurrency
MySQL12123CEmpirical evaluation of pareto efficient multi-objective regression test case prioritisation; ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs; How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation
NanoXML10100CPrioritized static slicing and its application to fault localization; A Memetic Algorithm for whole test suite generation; Cost-effective regression testing through Adaptive Test Prioritization strategies; On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance; DIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
navier-stokes12123CDetecting function purity in JavaScript
NCO10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
NCS12123CA Memetic Algorithm for whole test suite generation
Nekomud 10100CGRT: Program-Analysis-Guided Random Testing
Net beans12123CSupplementary Bug Fixes vs. Re-opened Bugs
NETBSD10100CS-looper: automatic summarization for multipath string loops
Neuroph 2.612123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
NodeCachLList10100CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
num4j12123CMutation testing cost reduction by clustering overlapped mutants
Nutch10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Automated memory leak diagnosis by regression testing
openexr/openexr12123CCopy and Paste Redeemed
OpenFOAM CFD software package10100CChecking C++ codes for compatibility with operator overloading
OpenNLP12123CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness
OpenSER10100CS-looper: automatic summarization for multipath string loops
optmize12123CA Parallel On-Demand Algorithm for Computing Interprocedural Dominators
oracle/node-oracledb10100CCopy and Paste Redeemed
Pathway-Express12123CAre Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
pbzip210100CConcurrency Debugging with Differential Schedule Projections
pc8736x_gpio12123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
PCA (Patient-Controlled Analgesia) infusion pump system10100CExecuting Model-based Tests on Platform-specific Implementations
PDFBox12123CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Prioritized static slicing and its application to fault localization; On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance; Practical regression test selection with dynamic file dependencies
PDFSAM10100CDeciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis; Test Case Prioritization Using Extended Digraphs
pdftops 12123CEfficient Utilization of Secondary Storage for Scalable Dynamic Slicing
Pebble10100CExploring context-sensitive data flow analysis for early vulnerability detection
PersonalBlog12123CExploring context-sensitive data flow analysis for early vulnerability detection
PetSoar10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
pfscan12123CConcurrency Debugging with Differential Schedule Projections
phoenix-2.0.010100CPegasus: automatic barrier inference for stable multithreaded systems
php12123CPersistent pointer information
PHP interpreter10100CAutomatic runtime error repair and containment via recovery shepherding
pmd12123Cntrospective Analysis: Context-Sensitivity, Across the Board; Pruning, Pushdown Exception-Flow Analysis
Pmd-dcd 10100CGRT: Program-Analysis-Guided Random Testing
POI12123CExploring community structure of software Call Graph and its applications in class cohesion measurement
PorterStemmer10100C Parallel On-Demand Algorithm for Computing Interprocedural Dominators
postgreSQL12123CPersistent pointer information
printtokens10100CORBS and the limits of static slicing; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Printtokens212123CORBS and the limits of static slicing; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Prob6_00_f10100CMaking numerical program analysis fast
Prob6_30_t12123CMaking numerical program analysis fast
ps3vram 10100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Ptax12123CExploring and enforcing security guarantees
via program dependence graphs; Exploring and enforcing security guarantees
via program dependence graphs
PureMVC10100CAutomatically identifying focal methods under test in unit test cases
qlog12123CAutomatically improving accuracy for floating point expressions
quad2m10100CAutomatically improving accuracy for floating point expressions
quad2p12123CAutomatically improving accuracy for floating point expressions
quadm10100CAutomatically improving accuracy for floating point expressions
quadp12123CAutomatically improving accuracy for floating point expressions
r816910100CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
raja12123CArray Shadow State Compression for Precise Dynamic Race Detection
ReactOS10100CExploiting traceability uncertainty among artifacts and code
Red-Black Tree12123CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
RemoteSearchable10100CA Parallel On-Demand Algorithm for Computing Interprocedural Dominators
Replace12123CORBS and the limits of static slicing; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Resources4JDieBierse10100Cest data generation with a Kalman filter-based adaptive genetic algorithm
rethinkdb/rethinkdb12123CCopy and Paste Redeemed
Retrofit10100CPractical regression test selection with dynamic file dependencies; Reliable testing: detecting state-polluting tests to prevent test dependency
Rhino12123CCLAMI: Defect Prediction on Unlabeled Datasets; Static change impact analysis techniques: A comparative study
rhino-a10100C Hybrid top-down and bottom-up interprocedural analysis
richards12123CDetecting function purity in JavaScript
River10100CPractical regression test selection with dynamic file dependencies; Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Roller12123Cxploring context-sensitive data flow analysis for early vulnerability detection
Roops10100CA Memetic Algorithm for whole test suite generation
rsync12123CAutomated Support for Reproducing and Debugging Field Failures
s3_clnt_2 f10100CMaking numerical program analysis fast
s3_clnt_3_t12123CMaking numerical program analysis fast
sablecc-j 10100CHybrid top-down and bottom-up interprocedural analysis
Safe12123CCLAMI: Defect Prediction on Unlabeled Datasets
samba10100CPersistent pointer information
SAT4J Core 12123CGRT: Program-Analysis-Guided Random Testing
SaxPath10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
SCCH collection 12123CGRT: Program-Analysis-Guided Random Testing
Schedule10100CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; ORBS and the limits of static slicing; On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance
Schedule212123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; ORBS and the limits of static slicing
schroeder-m10100COn abstraction refinement for program analyses in Datalog
Scope 2.012123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Scribe Java10100CReliable testing: detecting state-polluting tests to prevent test dependency
SCS12123CA Memetic Algorithm for whole test suite generation
sed10100CEmpirical evaluation of pareto efficient multi-objective regression test case prioritisation; Automated Support for Reproducing and Debugging Field Failures; Input-based adaptive randomized test case prioritization: A local beam search approach
seidel12123CCompiler-assisted detection of transient memory errors
via program dependence graphs
Selenium 1.010100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Sendmail12123CS-looper: automatic summarization for multipath string loops; Testing static analysis tools
using exploitable buffer overflows
from open source code
seq10100CMaking numerical program analysis fast
series12123CMaking numerical program analysis fast
ServiceMix10100CTest Analysis: Searching for Faults in Tests
SESDAQ system12123CEvolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation
SFTtech/openage10100CCopy and Paste Redeemed
SglibRbtree12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Shiro-core 10100CGRT: Program-Analysis-Guided Random Testing
Siena12123CDeciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
SinglyLList10100CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
sintan12123CAutomatically improving accuracy for floating point expressions
skew-heap (skew)10100CTree dependence analysis
slf4j12123C Reliable testing: detecting state-polluting tests to prevent test dependency
Slf4j-api 10100CGRT: Program-Analysis-Guided Random Testing
Snappy-Java12123CAutomated memory leak diagnosis by regression testing
socat10100CAutomated Support for Reproducing and Debugging Field Failures
SOGPS12123CRTCM: a natural language based, automated, and practical test case generation framework
Solr10100CAutomated memory leak diagnosis by regression testing
sonypi12123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Soot10100CDeciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
sor12123CMaking numerical program analysis fast
Sorted List10100CSound Reasoning About Integral Data Types with a Reusable SMT Solver Interface
SpamAssassin12123CS-looper: automatic summarization for multipath string loops
Spark10100CReliable testing: detecting state-polluting tests to prevent test dependency
SPEC 200012123CUnderstanding Integer Overflow in C/C++
SPEC 200610100CUnderstanding Integer Overflow in C/C++
SPEC INT 200012123CProvably correct peephole optimizations with alive
SPEC INT 200610100CProvably correct peephole optimizations with alive; A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
OMP2001 suites12123CA Stack Memory Abstraction and Symbolic Analysis Framework for Executables
SPECjbb200510100CLeakTracer: Tracing leaks along the way
SPECjvm200812123CLeakTracer: Tracing leaks along the way
SPECweb99 10100CPractical and representative faultloads for large-scale software systems
spell12123CSelective context-sensitivity guided by impact pre-analysis
SPINS10100CTCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation
SPINV12123CTCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation
Spring10100CIntent, tests, and release dependencies: Pragmatic recipes for source code integration
Spring JDBC12123CReliable testing: detecting state-polluting tests to prevent test dependency
Spring MVC10100CReliable testing: detecting state-polluting tests to prevent test dependency
Spring Petclinic12123CReliable testing: detecting state-polluting tests to prevent test dependency
Spring Test MVC10100CReliable testing: detecting state-polluting tests to prevent test dependency
SQLite12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
sqlite-jdbc10100CMutation-Based Fault Localization for Real-World Multilingual Programs
sqrtexp12123CAutomatically improving accuracy for floating point expressions
Square Retrofit10100CReliable testing: detecting state-polluting tests to prevent test dependency
Square Wire12123CReliable testing: detecting state-polluting tests to prevent test dependency
ssh10100CA Stack Memory Abstraction and Symbolic Analysis Framework for Executables
ssu10012123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Stanford SecuriBench10100CAccess-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis With Unbounded Access Paths
stringbuffer12123CConcurrency Debugging with Differential Schedule Projections
StringSearch 210100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Stripes12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
strmm10100CCompiler-assisted detection of transient memory errors
via program dependence graphs
Struts12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
stuxnet10100CBit-Level Taint Analysis
sunflow12123CPersistent pointer information
SV-COMP10100CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
swim12123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
SWT10100CCombining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports; Supplementary Bug Fixes vs. Re-opened Bugs; Evaluating the usefulness of IR-based fault localization techniques
sx812123CFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
tanhf10100CAutomatically improving accuracy for floating point expressions
Tapestry 5.3.212123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
tar-1.1710100CA Stack Memory Abstraction and Symbolic Analysis Framework for Executables; Selective context-sensitivity guided by impact pre-analysis
Tcas12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; ORBS and the limits of static slicing; Enhancing reuse of constraint solutions to improve symbolic execution
the CE benchmark10100CDiagnosing type errors with class
DaCapo benchmark12123CArray Shadow State Compression for Precise Dynamic Race Detection; JaConTeBe A Benchmark Suite of Real-World Java Concurrency Bugs; LeakTracer: Tracing leaks along the way; Fast Flow Analysis with Godel Hashes; Pruning, Pushdown Exception-Flow Analysis
EUSES dataset10100CA grammar for spreadsheet formulas evaluated on two large datasets
Java Grande Benchmarks12123CArray Shadow State Compression for Precise Dynamic Race Detection
Thrift10100CAutomated memory leak diagnosis by regression testing
TimeSlotTracker12123CTest Case Prioritization Using Extended Digraphs
Tiny Sql 10100CGRT: Program-Analysis-Guided Random Testing
toba-s12123COn abstraction refinement for program analyses in Datalog; Hybrid top-down and bottom-up interprocedural analysis
Tomcat10100CExploring and enforcing security guarantees
via program dependence graphs; Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports; Test Analysis: Searching for Faults in Tests; Exploring and enforcing security guarantees
via program dependence graphs; Persistent pointer information; What to expect of predicates: An empirical analysis of predicates in real world programs
totinfo12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; ORBS and the limits of static slicing
TPC-H10100CPreventing data errors with continuous testing
Transmission BitTorrent client12123CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
tree-add10100CDetecting function purity in JavaScript
TreeMap12123CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites; Enhancing reuse of constraint solutions to improve symbolic execution
TreeSet10100CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
triangle12123CMutation testing cost reduction by clustering overlapped mutants
trisolv10100CCompiler-assisted detection of transient memory errors
via program dependence graphs
TriTye12123CEnhancing reuse of constraint solutions to improve symbolic execution
TulliBee10100CTest data generation with a Kalman filter-based adaptive genetic algorithm
Turbine12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs
twitter Ambrose10100CReliable testing: detecting state-polluting tests to prevent test dependency
twitter hbc12123CReliable testing: detecting state-polluting tests to prevent test dependency
Twitter4J10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
UPM12123CExploring and enforcing security guarantees
via program dependence graphs; Test Case Prioritization Using Extended Digraphs; Exploring and enforcing security guarantees
via program dependence graphs
Validator10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Practical regression test selection with dynamic file dependencies
VCS12123CRTCM: a natural language based, automated, and practical test case generation framework
Vuze10100CWhat to expect of predicates: An empirical analysis of predicates in real world programs
Web Kit12123CSupplementary Bug Fixes vs. Re-opened Bugs
Web Server10100CConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
WebGoat12123CExploring context-sensitive data flow analysis for early vulnerability detection
weblech10100COn abstraction refinement for program analyses in Datalog
Weka12123CEffective Techniques for Static Race Detection in Java Parallel Loops; Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis; Proactive detection of inadequate diagnostic messages for software configuration errors
Wireshark10100CAutomatic runtime error repair and containment via recovery shepherding
Wu-Ftpd12123CS-looper: automatic summarization for multipath string loops;Testing static analysis tools
using exploitable buffer overflows
from open source code
xalan10100CIntrospective Analysis: Context-Sensitivity, Across the Board; Exploring community structure of software Call Graph and its applications in class cohesion measurement; Pruning, Pushdown Exception-Flow Analysis
xmail12123CAutomated Support for Reproducing and Debugging Field Failures
xml-sec10100CCost-effective regression testing through Adaptive Test Prioritization strategies
XML-security12123CDIAPRO: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness; Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency; Prioritized static slicing and its application to fault localization; Static change impact analysis techniques: A comparative study
XOM10100CDoes Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study
XStream12123CWhat to expect of predicates: An empirical analysis of predicates in real world programs; Automatically identifying focal methods under test in unit test cases
YAFFS210100CGuidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
ZooKeeper12123CTest Analysis: Searching for Faults in Tests; Practical regression test selection with dynamic file dependencies
Zxing10100CCLAMI: Defect Prediction on Unlabeled Datasets
IntroClassJava Dataset12123CContext-aware patch generation for better automated program repair; Overfitting in semantics-based automated program repair
ManyBugs10100C1 、 Do automated program repair techniques repair hard and important bugs?
Intro to Programming
class(6.00x)in Python
course offered on
edX MOOC platform
12123C1 、 Neuro-symbolic program corrector
for introductory programming assignments
unreproducible Debian
packages
10100C1 、 Automated localization for
unreproducible builds
NoSQL databases12123C1 、 Experiences and challenges in building a data intensive system for data migration
on-premise databases10100C1 、 Experiences and challenges in building a data intensive system for data migration
the embedded Linux Busybox12123C1 、 Semantic program repair using a reference implementation
GNU Coreutils10100C1 、 Semantic program repair using a reference implementation
Swoole12123C1 、 Static automated program repair for heap properties
lxc10100C1 、 Static automated program repair for
heap properties
dablooms12123C1 、 Static automated program repair for
heap properties
php-cp10100C1 、 Static automated program repair for
heap properties
armake12123C1 、 Static automated program repair for
heap properties
sysstat10100C1 、 Static automated program repair for
heap properties
redis12123C1 、 Static automated program repair for
heap properties
2 、 Almost there: a study on quasi-contributors in open source software projects
3 、 Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities
rappel10100C1 、 Static automated program repair for
heap properties
Apktool12123C1 、 Static automated program repair for
heap properties
error-prone10100C1 、 Static automated program repair for
heap properties
Codeflaws12123C1 、 Overfitting in semantics-based
automated program repair
invokebinder10100C1 、 Hybrid regression test selection
compile-testing12123C1 、 Hybrid regression test selection
logstash-logback-encoder10100C1 、 Hybrid regression test selection
joda-time12123C1 、 Hybrid regression test selection
2 、 FAST approaches to scalable
similarity-based test case prioritization
commons-dbutils10100C1 、 Hybrid regression test selection
commons-fileupload12123C1 、 Hybrid regression test selection
asterisk-java10100C1 、 Hybrid regression test selection
commons-functor12123C1 、 Hybrid regression test selection
la4j10100C1 、 Hybrid regression test selection
commons-email12123C1 、 Hybrid regression test selection
2 、 Fine-grained test minimization