3889 search results - page 416 / 778 » The Use of Program Dependence Graphs in Software Engineering |
208
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
197
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
208
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
165
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
156
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...