626 search results - page 26 / 126 » Closing the Gap Between Software Modelling and Code |
124
Voted
ASWEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
138
Voted
PTS
2010
15 years 1 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
146
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
143
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
124
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
Unlike conventional layered scalable video coding, leaky prediction layered video coding (LPLC) introduces a leaky factor , which takes on values in the range between 0 and 1, to ...