Sciweavers

409 search results - page 41 / 82
» How to Design Practical Test Cases
Sort
View
HICSS
2009
IEEE
154views Biometrics» more  HICSS 2009»
15 years 6 months ago
Follow The Sun Software Development: New Perspectives, Conceptual Foundation, and Exploratory Field Study
Follow The Sun (FTS) is a special case of global software development. FTS means that software work is handed off every day from one development site to the next -- many time zone...
Erran Carmel, Yael Dubinsky, J. Alberto Espinosa
USS
2008
15 years 2 months ago
Experiences with Model Inference Assisted Fuzzing
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
Joachim Viide, Aki Helin, Marko Laakso, Pekka Piet...
NFM
2011
335views Formal Methods» more  NFM 2011»
14 years 6 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
ICCAD
1998
IEEE
112views Hardware» more  ICCAD 1998»
15 years 4 months ago
Using precomputation in architecture and logic resynthesis
Abstract Althoughtremendousadvanceshave been accomplished in logic synthesis in the past two decades, in some cases logic synthesis still cannot attain the improvements possible by...
Soha Hassoun, Carl Ebeling
CORR
2010
Springer
157views Education» more  CORR 2010»
14 years 12 months ago
Detecting Coordination Problems in Collaborative Software Development Environments
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
Chintan Amrit, Jos van Hillegersberg