2205 search results - page 67 / 441 » Mutation Operators for Specifications |
125
Voted
KBSE
2003
IEEE
15 years 7 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...
120
Voted
DAC
2002
ACM
16 years 3 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...
115
Voted
EMSOFT
2004
Springer
15 years 7 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...
126
click to vote
CP
2010
Springer
15 years 13 days 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
15 years 9 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...