1739 search results - page 104 / 348 » Writing Good Software Engineering Research Paper |
ASPLOS
2011
ACM
13 years 19 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
ESSOS
2009
Springer
14 years 1 months ago
2009
Springer
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...
SEKE
2010
Springer
13 years 7 months ago
2010
Springer
— This paper presents an automated environment configuration testing strategy developed as part of an action research project to deal with issues of staging environment instabili...
CSEE
2011
Springer
13 years 17 days ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...