Results 1 - 10 of 158

Predictive testing: Amplifying the effectiveness of software testing

by Pallavi Joshi, Koushik Sen, Mark Shlimovich , 2007
"... Testing with manually generated test cases often results in poor coverage and fails to discover many corner case bugs and security vulnerabilities. Automated test generation techniques based on static or symbolic analysis usually do not scale beyond small program units. We propose predictive testing ..."
Abstract - Cited by 12 (0 self) - Add to MetaCart
Testing with manually generated test cases often results in poor coverage and fails to discover many corner case bugs and security vulnerabilities. Automated test generation techniques based on static or symbolic analysis usually do not scale beyond small program units. We propose predictive

Automated atomicity-violation fixing

by Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit - In PLDI , 2011
"... Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. However, fixing concurrency bugs is challenging, in part due to nondeterministic failures and tricky parallel reasoning. B ..."
Abstract - Cited by 51 (5 self) - Add to MetaCart
. Beyond correctly fixing the original problem in the software, a good patch should also avoid introducing new bugs, degrading performance unnecessarily, or damaging software readability. Existing tools cannot automate the whole fixing process and provide good-quality patches. We present AFix, a tool

Utilizing Domain-Specific Modelling for Software Testing

by Olli-pekka Puolitaival, Teemu Kanstrén, Veli-matti Rytky, Asmo Saarela
"... Abstract—Automated execution of manually defined regression tests is a very widely used and well-known area. While test execution can be more easily automated, test case creation and maintenance are still mainly manual efforts and practically the biggest cost factors in software testing. We view wri ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract—Automated execution of manually defined regression tests is a very widely used and well-known area. While test execution can be more easily automated, test case creation and maintenance are still mainly manual efforts and practically the biggest cost factors in software testing. We view

Automated Parametric Tests for Novel Semiconductor Materials and Devices

by Sabino Torres , Senior) Jonathan Miller , Ramesh C Dwivedi , Padmini Periaswamy , Mohan Ketkar , R Wilkins , R K Pandey
"... Abstract A summer internship of 2005 provided valuable hands-on experience by (1) studying novel semiconductor devices and materials using capacitance versus voltage (C-V) and current versus voltage (I-V) measurements, (2) analyzing C-V and I-V data for these materials and devices, (3) modeling new ..."
Abstract - Add to MetaCart
new semiconductor materials and devices based on metal oxide semiconductor field-effect transistors (MOSFET), and (4) performing resistivity measurements on materials using four-point probes for pre-radiation testing. This paper describes experiences gained and skills developed during an undergraduate

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
in technical relationships, which are socially conditioned, so in itself it is not an independent, non-human dimension. In principle, because it is the application of knowledge to obtain a product of some kind, it could be assigned primarily to the process of production, in which we could then distinguish

Beyond Plain Video Recording of GUI Tests Linking Test Case Instructions with Visual Response Documentation

by Raphael Pham, Helge Holzmann, Kurt Schneider, Christian Brüggemann, Capgemini Deutschland Gmbh
"... Abstract—Information systems with sophisticated graphical user interfaces are still difficult to test and debug. As a detailed and reproducible report of test case execution is essential, we advocate the documentation of test case execution on several levels. We present an approach to video-based do ..."
Abstract - Add to MetaCart
series of performance measurements during a technical experiment, and industrial experience from 370 real-world test cases carried out in a large software company.

First steps in programming: A rationale for attention investment models.

by Alan F Blackwell - In Proc. HCC, IEEE , 2002
"... Abstract Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even "end-user" programmers What is Programming? Goodell's excellent website devoted to end user programming Programming is in fact seld ..."
Abstract - Cited by 110 (16 self) - Add to MetaCart
, then programmers again as the testing tools became programmable. Recent trends have been to increase the number of people who might do programming in the course of their work. Almost all major software applications include scripting or macro languages of some sort, usable to configure and customize the behaviour

Watson: Beyond jeopardy.

by David Ferrucci , Anthony Levas , Sugato Bagchi , David Gondek , Erik T Mueller - Artificial Intelligence, , 2012
"... This paper presents a vision for applying the Watson technology to health care and describes the steps needed to adapt and improve performance in a new domain. Specifically, it elaborates upon a vision for an evidence-based clinical decision support system, based on the DeepQA technology, that affo ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
content. Traditional expert systems use forward reasoning that follows rules from data to conclusions or backward reasoning that follows rules from conclusions to data. To build these systems hand-crafted IF-THEN rules for every bit of domain knowledge are manually developed and maintained by skilled

Defect Detection Efficiency: Test Case Based vs. Exploratory Testing

by Juha Itkonen, Mika V. Mäntylä, Casper Lassenius - FIRST INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT , 2007
"... This paper presents a controlled experiment comparing the defect detection efficiency of exploratory testing (ET) and test case based testing (TCT). While traditional testing literature emphasizes test cases, ET stresses the individual tester’s skills during test execution and does not rely upon pre ..."
Abstract - Cited by 8 (3 self) - Add to MetaCart
predesigned test cases. In the experiment, 79 advanced software engineering students performed manual functional testing on an open-source application with actual and seeded defects. Each student participated in two 90-minute controlled sessions, using ET in one and TCT in the other. We found no significant

Joint Interoperability Test Command

by Bernard P. Zeigler, Ph. D, Dale Fulton, Phil Hammonds, Ph. D, Jim Nutaro, Ph. D, Fort Huachuca
"... Department of Defense (DoD) acquisition policy requires testing throughout the systems development process to ensure not only technical certification but also mission effectiveness. Complexity within each new system, as well as composition into families of systems and systems of systems, combines wi ..."
Abstract - Add to MetaCart
Department of Defense (DoD) acquisition policy requires testing throughout the systems development process to ensure not only technical certification but also mission effectiveness. Complexity within each new system, as well as composition into families of systems and systems of systems, combines
Results 1 - 10 of 158