Sciweavers

606 search results - page 1 / 122
» A Comparative Study of Industrial Static Analysis Tools
Sort
View
ENTCS
2008
77views more  ENTCS 2008»
13 years 4 months ago
A Comparative Study of Industrial Static Analysis Tools
Pär Emanuelsson, Ulf Nilsson
TSE
2011
214views more  TSE 2011»
12 years 11 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ICSE
2012
IEEE-ACM
11 years 7 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan...
WCRE
2002
IEEE
13 years 9 months ago
A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
Ralf Kollman, Petri Selonen, Eleni Stroulia, Tarja...
ICSM
2006
IEEE
13 years 11 months ago
Software Feature Understanding in an Industrial Setting
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
Michael Jiang, Michael Groble, Sharon Simmons, Den...