Sciweavers

3272 search results - page 129 / 655
» Introduction to Software Performance Engineering
Sort
View
ESEM
2008
ACM
15 years 6 months ago
An empirical model to predict security vulnerabilities using code complexity metrics
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
Yonghee Shin, Laurie Williams
AMAST
2004
Springer
15 years 9 months ago
Formal JVM Code Analysis in JavaFAN
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
Azadeh Farzan, José Meseguer, Grigore Rosu
SIGSOFT
1994
ACM
15 years 8 months ago
Speeding up Slicing
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genev...
OSS
2009
Springer
15 years 11 months ago
Estimating Commit Sizes Efficiently
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
Philipp Hofmann, Dirk Riehle
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 11 months ago
Validation Measures in CMMI
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
Mahmoud Khraiwesh