Inicio  /  IEEE SOFTWARE  /  Vol: 25 Núm: 5 Par: 0 (2008)  /  Artículo
ARTÍCULO
TITULO

Automating Software Testing Using Program Analysis

Godefroid    
P.    
de Halleux    
P.    
Nori    
A.V.    
Rajamani    
S.K.    
Schulte    
W.    
Tillmann    
N.    
Levin    
M.Y.    

Resumen

No disponible

 Artículos similares

       
 
Igor Sesin,Roman Bolbakov     Pág. 62 - 67
Problem-oriented program generation is an approach to improving performance for certain class of GPGPU (General Purpose computing for Graphical Processing Units) programs. Creating problem-oriented program generators manually is a time-consuming and diff... ver más

 
T. Astakhova,S. Krivonogov,A. Romanova     Pág. 116 - 123
The information system (IS) for automating the activities of the technical department of PJSC Rostelecom branch of the city of Knyaginino, Nizhny Novgorod region is described in the paper. The development of an information system for the automation of ac... ver más

 
Elena Yashina, Roman Artiukh, Nikolai ?an, Andrei Zelensky     Pág. 130 - 141
The subject of the study is the methods and tools for automation of recognition of road signs at the level of software implementation. Detection of road signs is associated with the processing of a significant amount of video data in real time, which req... ver más

 
S. Zueva,A. Romanova,M. Talanova     Pág. 58 - 65
The work describes an information system (IS) for automating the activities of the village council administration, developed on the 1C: Enterprise platform. An information system is a combination of personal data contained in a database, as well as infor... ver más

 
Olena Lobach, Igor Babych, Elena Persiyanova     Pág. 44 - 56
The subject matter of the study is the processes of selecting and assessing the competency of experts. The goal of the study is to increase the objectivity of expert assessment by developing and applying a model and information technology for the integra... ver más