651 search results - page 97 / 131 » Precise Analysis of Java Programs Using JOANA |
126
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
126
Voted
GPCE
2009
Springer
14 years 12 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
97
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
112
click to vote
SIGSOFT
2010
ACM
15 years 1 days ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
150
Voted
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...