Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

Lindahl, T; Sagonas, K

dc.contributor.author	Lindahl, T	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:49:38Z
dc.date.available	2014-03-01T02:49:38Z
dc.date.issued	2004	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34655
dc.subject	Defect Detection	en
dc.subject	Legacy Software	en
dc.subject	Real World Application	en
dc.subject	Software Development	en
dc.subject	Software Quality Assurance	en
dc.subject	Software Tool	en
dc.subject	Source Code	en
dc.subject	Static Analysis	en
dc.subject	Virtual Machine	en
dc.subject	Lines of Code	en
dc.title	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/978-3-540-30477-7_7	en
heal.identifier.secondary	http://dx.doi.org/10.1007/978-3-540-30477-7_7	en
heal.publicationDate	2004	en
heal.abstract	In safety-critical and high-reliability systems, softwar e development and maintenance are costly endeavors. The cost can be reduced if software er- rors can be identified through automatic tools such as progra m analyzers and compile-time software checkers. To this effect, this paper describes the architec- ture and implementation of a software tool that uses lightweight static analysis to detect discrepancies	en
heal.journalName	Asian Symposium on Programming Languages and Systems	en
dc.identifier.doi	10.1007/978-3-540-30477-7_7	en