1199 search results - page 72 / 240 » Software Verification and Software Engineering a Practitione... |
133
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
The following study investigated cognitive factors involved in applying the Perspective-Based Reading (PBR) technique for defect detection in software inspections. Using the proto...
122
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
Diverse uses of information technology (IT) in organizations affect privacy. Developers of electronic commerce, database management, security mechanisms, telecommunication and col...
130
click to vote
SIGSOFT
2010
ACM
15 years 2 months 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...
134
click to vote
WWW
2009
ACM
15 years 11 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
132
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...