1722 search results - page 265 / 345 » Generating Tests from Counterexamples |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Cooperative intrusion detection techniques for MANETs utilize ordinary computing hosts as network intrusion sensors. If compromised, these hosts may inject bogus data into the int...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— A lightweight radio frequency identification (RFID) tag-reader mutual authentication scheme was recently proposed as an improvement over the original authentication protocol s...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
On December 26, 2004, countries in the Indian Ocean basin were struck by a tsunami generated by a large magnitude earthquake just south of the western tip of Sumatra. Observations...