Software Engineering--ESEC/FSE ...

Software Engineering--ESEC/FSE ...

4.11 - 1251 ratings - Source

RELATED WORK Previously we used Saturn to implement a path- and context- sensitive analysis for detecting a class of ... summaries) and focus on fully automated checking of properties without separate programmer- written specifications. ... techniques, but in other cases focusing on leak detection as an interesting program analysis problem in its own right. ... The analysis depends heavily on user annotation to model function calls, thus requiring substantial manual effort to use.

Title:Software Engineering--ESEC/FSE ...
Publisher: - 2005


You Must CONTINUE and create a free account to access unlimited downloads & streaming