2205 search results - page 67 / 441 » Mutation Operators for Specifications |
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
Increasing non-recurring engineering (NRE) and mask costs are making it harder to turn to hardwired Application Specific Integrated Circuit (ASIC) solutions for high performance a...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
CP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We study the lattice structure of sets (monoids) of surjective hyper-operations on an n-element domain. Through a Galois connection, these monoids form the algebraic coun...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...