Sciweavers

606 search results - page 26 / 122
» A Comparative Study of Industrial Static Analysis Tools
Sort
View
93
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
Predicting defects in SAP Java code: An experience report
Which components of a large software system are the most defect-prone? In a study on a large SAP Java system, we evaluated and compared a number of defect predictors, based on cod...
Tilman Holschuh, Markus Pauser, Kim Herzig, Thomas...
SERA
2004
Springer
15 years 5 months ago
NuEditor - A Tool Suite for Specification and Verification of NuSCR
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
117
Voted
EMSOFT
2008
Springer
15 years 2 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
107
Voted
HICSS
2011
IEEE
208views Biometrics» more  HICSS 2011»
14 years 4 months ago
An Experimental Study of Financial Portfolio Selection with Visual Analytics for Decision Support
We investigate the decision process as applied to the practical task of choosing a financial portfolio. We developed PortfolioCompare, an interactive visual analytic decision sup...
Anya Savikhin, Hon Cheong Lam, Brian D. Fisher, Da...
ISEUD
2009
Springer
15 years 7 months ago
Mutual Development: A Case Study in Customer-Initiated Software Product Development
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
Renate Andersen, Anders I. Mørch