|
Conferences in DBLP
Program analysis for compiler validation. [Citation Graph (, )][DBLP]
Java memory model aware software validation. [Citation Graph (, )][DBLP]
Elyze: enabling safe parallelism in event-driven servers. [Citation Graph (, )][DBLP]
A field study in static extraction of runtime architectures. [Citation Graph (, )][DBLP]
Specification mining of symbolic scenario-based models. [Citation Graph (, )][DBLP]
A non-null annotation inferencer for Java bytecode. [Citation Graph (, )][DBLP]
Sharing analysis of arrays, collections, and recursive structures. [Citation Graph (, )][DBLP]
Static analysis for inference of explicit information flow. [Citation Graph (, )][DBLP]
Path projection for user-centered static analysis tools. [Citation Graph (, )][DBLP]
Addressing common crosscutting problems with Arcum. [Citation Graph (, )][DBLP]
XFindBugs: eXtended FindBugs for AspectJ. [Citation Graph (, )][DBLP]
Effective identification of failure-inducing changes: a hybrid approach. [Citation Graph (, )][DBLP]
Towards a more efficient static software change impact analysis method. [Citation Graph (, )][DBLP]
|