3792 search results - page 357 / 759 » Techniques for Trusted Software Engineering |
149
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
199
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
198
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
193
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
208
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
Aspect-oriented refactoring is a promising technique for improving modularity and reducing complexity of existing software systems through encapsulating crosscutting concerns. As ...