| Project name | Inserted by | Inserted on | Expiration Date | Actions |
|---|---|---|---|---|
| Account | andrebpf | 01/11/2019 | 30/11/-0001 | |
| Airline | andrebpf | 15/11/2019 | 20/12/2019 | |
| Alarmclock | andrebpf | 20/12/2019 | 12/01/2020 | |
| Allocationvector | andrebpf | 10/10/2019 | 15/12/2019 | |
| BoundedBuffer | andrebpf | 10/09/2019 | 18/10/2019 | |
| Clean | andrebpf | 03/11/2019 | 07/12/2019 | |
| Daisy | andrebpf | 05/12/2019 | 10/01/2020 | |
| Deos | andrebpf | 03/11/2019 | 15/12/2019 | |
| DiningPhilosophers | andrebpf | 12/10/2019 | 22/11/2019 | |
| LoseNotify | andrebpf | 11/12/2019 | 08/01/2020 | |
| Linkedlist | andrebpf | 05/12/2019 | 20/01/2020 | |
| Logging event | andrebpf | 17/10/2019 | 03/12/2019 | |
| Nested Monitor | andrebpf | 03/10/2019 | 04/12/2019 | |
| Piper | andrebpf | 15/11/2019 | 20/12/2019 | |
| Producerconsumer | andrebpf | 06/10/2019 | 10/11/2019 | |
| Raxextended | andrebpf | 04/11/2019 | 12/12/2019 | |
| Readerswriters | andrebpf | 07/10/2019 | 20/12/2019 | |
| Reorder | andrebpf | 19/11/2019 | 08/12/2019 | |
| Replicatedworkers | andrebpf | 13/12/2019 | 10/01/2020 | |
| SleepingBarber | andrebpf | 05/12/2019 | 12/01/2020 | |
| Teste | andrebpf | 25/05/2020 | 25/06/2020 |
Account
andrebpf
01/11/2019
30/11/-0001
Unix
HPC
Java
Structural testing, Fault-based testing
No information
Unit
No information
Multithreaded program, source code in Java
Number of faults detected
Effectiveness
No information
Dynamic
Shared memory
No information
No Information
No information
No information
Data Race, Deadlock
Carisma, Contest
No information
No information
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications., Comparative assessment of testing and model checking using program mutation. , Thread-local concurrency: a technique to handle data race detection at programming model abstraction
No information
No information
No information
No information
No information
No information
No information
No information
teste
teste
teste
teste
teste
teste
teste
teste
Airline
andrebpf
15/11/2019
20/12/2019
Linux
HPC
Java
Structural testing, Model based testing
No information
Unit, System
No information
java bytecode, multithreaded program
Test adequacy: percentage of iterations for which a metric was successful, efficiency: time and storage overhead of path profiling relative to native execution and the time cost of symbolic trace collection
Effectiveness, scalability, efficiency
No information
Dynamic, Static
Shared memory
No information
Control flow graph, constraint model
No information
No information
Data race, Atomicity violation
JavaPathfinder, LLVM
No information
No information
Location pairs: a test coverage metric for shared-memory concurrent programs, Maple: a coverage-driven testing tool for multithreaded programs
Ajudou na correção de vários erros
Nenhum
Nenhuma
Excelente técnica
Alarmclock
andrebpf
20/12/2019
12/01/2020
No information
HPC
Java
Formal method-based testing, Fault-based testing
No information
Unit
No information
concurrent program, java bytecode
number of predicted runs, the time required for each prediction, number of bugs found during the tests for each violation type, number of bugs detected and percentage of spurious results produced by the tool
Effectiveness, performance, prediction capability
No information
Dynamic, Static
Shared memory, Message passing
No information
call graph
No information
No information
Null-pointer dereferences, starvation
Penelope, FindBugs
No information
No information
Generating effective tests for concurrent programs via AI automated planning techniques, How Good is Static Analysis at Finding Concurrency Bugs?
No information
No information
No information
No information
No information
No information
No information
No information
Allocationvector
andrebpf
10/10/2019
15/12/2019
Linux
HPC, Distributed systems
Java
Model based testing, Fault-based testing
No information
Unit, System
No information
Specification of the class, multithreaded program
Number of transitions, deadlocks detected
effectiveness
No information
Dynamic, Static
Message passing
No information
No Information
No information
No information
bug-triggering interleavings, deadlock
Ballerina
No information
No information
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs, BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code
BoundedBuffer
andrebpf
10/09/2019
18/10/2019
Windows, Unix
Distributed systems
Java
Structural testing
No information
unit
No information
java code, concurrent program
Effectiveness: number of generated test cases and reproducible test cases, overhead: execution time. failure reproducible, lock manifestation, lock pattern and lock usage evolution
effectiveness, efficiency, performance, reproducibility, lock manifestation
No information
Static
Shared memory
No information
control dependency graph, use-define chains
No information
No information
deadlock, atomicity violation
java code, concurrent program
No information
No information
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible
It helped in the correction of several defects.
None.
None.
Excellent technique.
Clean
andrebpf
03/11/2019
07/12/2019
Linux
HPC
Java
Structural testing, Fault-based testing
No information
unit
No information
java bytecode, multithreaded program
Test adequacy: percentage of iterations for which a metric was successful, running time
effectiveness, efficiency, scalability, performance
No information
Dynamic
Shared memory
No information
control flow graph, state space graph
No information
No information
refinement violations, deadlock
JavaPathfinder, MutMut
No information
No information
Daisy
andrebpf
05/12/2019
10/01/2020
No Information
HPC
Java
Model based testing
No information
unit
No information
multithread Java programs (data structures, high-performance computing, examples of synchronization mechanisms), java code)
number of executions required to find a defect, number of partial orders sampled, Number of Trials: number trials executed
effectiveness
No information
Dynamic
Shared memory
No information
No Information
No information
No information
assertion violation, atomicity violation
CalFuzzer, Java Pathafinder (JPF)
No information
No information
Deos
andrebpf
03/11/2019
15/12/2019
Windows
HPC
Java
Model based testing
No information
unit
No information
java programs, multithread Java programs (data structures, high-performance computing, examples of synchronization mechanisms)
number of executions required to find a defect, number of partial orders sampled, Number of Trials: number trials executed
functionality, applicability, effectiveness
No information
Dynamic
Shared memory
No information
control-flow graph
No information
No information
assertion violation, deadlock
JPF, CalFuzzer
No information
No information
DiningPhilosophers
andrebpf
12/10/2019
22/11/2019
No Information
HPC
Java
Structural testing
No information
unit
No information
bytecode of a class, java bytecode
number of data races found, test adequacy: percentage of iterations for which a metric was successful
effectiveness, efficiency, scalability
No information
Dynamic, Static
Shared memory
No information
control flow graph
No information
No information
deadlock, high-level concurrency errors
EvoSuite, JavaPathfinder
No information
No information
LoseNotify
andrebpf
11/12/2019
08/01/2020
Linux
HPC, Distributed systems
Java
Fault-based testing, Structural testing
No information
unit
No information
concurrent programs, multithreaded program
running time, number of test cases, number of interleavings
effectiveness, performance
No information
Dynamic
Shared memory
No information
state space graph, variant graph
No information
No information
deadlock, data race
MutMut, AspectJ
No information
No information
Linkedlist
andrebpf
05/12/2019
20/01/2020
Windows, Unix
Distributed systems, HPC
Java
Fault-based testing, Formal method-based testing
No information
unit
No information
concurrent program, multithreaded applications
bugs detected, number of predicted runs, the time required for each prediction, number of bugs found during the tests for each violation type
efficiency, effectiveness, performance, prediction capability
No information
Dynamic, Static
Shared memory, Message passing
No information
No Information
No information
No information
atomicity violation, null-pointer dereferences
MTRAT, ConTest, Penelope
No information
No information
Logging event
andrebpf
17/10/2019
03/12/2019
Windows, Unix
Distributed systems, HPC
Java
Model based testing, Formal method-based testing, Fault-based testing
No information
unit
No information
java programs, concurrent program, multithreaded applications
number of transitions and intermediate states required to cover all relevant behaviors of the program or discover a bug, bugs detected, number of predicted runs, the time required for each prediction, number of bugs found during the tests for each violation type
effectiveness, performance, prediction capability, functionality, applicability, efficiency
No information
Dynamic
Shared memory, Message passing
No information
control-flow graph
No information
No information
deadlock, null-pointer dereferences, atomicity violation
JPF, MTRAT, ConTest, Penelope
No information
No information
Nested Monitor
andrebpf
03/10/2019
04/12/2019
Linux, Windows
HPC
Java
Structural testing, Fault-based testing
No information
unit
No information
java bytecode, multithread code
modular sequences, number of test cases to cover a criterion, number of bugs detected and percentage of spurious results produced by the tool
effectiveness, efficiency
No information
Dynamic, Static
Shared memory, Message passing
No information
data flow, call graph, lock graph
No information
No information
deadlock, starvation
FindBugs
No information
No information
Piper
andrebpf
15/11/2019
20/12/2019
Linux
Distributed systems
Java
Model based testing, Functional testing, Formal method-based testing
No information
system
No information
concurrent object-oriented software, java programs
Probability of oracles detecting faults, speedup
effectiveness, performance
No information
Dynamic
Message passing
No information
system specification, lts model program
No information
No information
deadlock, data race
JML toolset, RichTest
No information
No information
Producerconsumer
andrebpf
06/10/2019
10/11/2019
No Information
HPC
Java
Model based testing, Formal method-based testing
No information
unit
No information
multithread Java programs (data structures, high-performance computing, examples of synchronization mechanisms), concurrent program
number of executions required to find a defect, number of partial orders sampled, number of predicted runs, the time required for each prediction, number of bugs found during the tests for each violation type
effectiveness, performance, prediction capability
No information
Dynamic
Shared memory
No information
No Information
No information
No information
data race, assertion violation
CalFuzzer, Penelope
No information
No information
Raxextended
andrebpf
04/11/2019
12/12/2019
No Information
HPC
Java
Formal method-based testing, Structural testing
No information
unit
No information
concurrent program, bytecode of a class
number of predicted runs, the time required for each prediction, number of bugs found during the tests for each violation type, number of data races found
effectiveness, performance, prediction capability
No information
Dynamic, Static
Shared memory
No information
control flow graph
No information
No information
data race, null-pointer dereferences
Penelope, EvoSuite
No information
No information
Readerswriters
andrebpf
07/10/2019
20/12/2019
Windows
HPC, Distributed systems
Java
Structural testing
No information
unit
No information
java bytecode, java code
effectiveness: number of generated test cases and reproducible test cases, overhead: execution time. failure reproducible, test adequacy: percentage of iterations for which a metric was successful
performance, reproducibility, effectiveness, efficiency, scalability
No information
Static
Shared memory
No information
control flow graph
No information
No information
deadlock, data race
Concrash, JavaPathfinder
No information
No information
Reorder
andrebpf
19/11/2019
08/12/2019
Windows
Distributed systems, HPC
Java
Structural testing
No information
unit
No information
java code, java bytecode
Overhead: execution time. failure reproducible, effectiveness: number of generated test cases and reproducible test cases, test adequacy: percentage of iterations for which a metric was successful
performance, reproducibility, effectiveness, efficiency, scalability
No information
Static
Shared memory
No information
lock graph
No information
No information
Atomicity violation, starvation
Concrash, FindBugs
No information
No information
Replicatedworkers
andrebpf
13/12/2019
10/01/2020
Linux
HPC, Distributed systems
Java
Fault-based testing
No information
system, unit
No information
multithreaded program, source code in Java
deadlocks detected, number of faults detected
effectiveness
No information
Dynamic, Static
Shared memory, Message passing
No information
No Information
No information
No information
deadlock, assertion violation
Contest
No information
No information
SleepingBarber
andrebpf
05/12/2019
12/01/2020
Linux
HPC
Java
Model based testing, Fault-based testing
No information
unit
No information
multithread code class, specification of the class, multithread code
number of transitions, execution time
effectiveness, Execution time
No information
Dynamic
Message passing, Shared memory
No information
No Information
No information
No information
deadlock, bug-triggering interleavings
Ballerina, MutMut
No information
No information
Teste
andrebpf
25/05/2020
25/06/2020
Unix
HPC
Java
Structural testing
context-sensitive sampling
unit
happens-before relation
concurrent code in MPI
performance: detection rate
effectiveness
Case study
Dynamic
Shared memory
monitoring
ICFG(Interprocedural control flow graph)
RoadRunner framework
probabilistic sampling
Data race, atomicity violation
Carisma
Open source
Unix