Inicio  /  IEEE SOFTWARE  /  Vol: 23 Núm: 4 Par: 0 (2006)  /  Artículo
ARTÍCULO
TITULO

Unit tests reloaded: parameterized unit testing with symbolic execution

Tillmann    
N.    
Schulte    
W.    

Resumen

No disponible

 Artículos similares

       
 
Franz Dolezal, Andreas Reichenauer, Armin Wilfling, Maximilian Neusser and Rok Prislan    
Several studies on the perception of impact sounds question the correlation of standardized approaches with perceived annoyance, while more recent studies have come to inconsistent conclusions. All these studies neglected the aspect of whole-body vibrati... ver más
Revista: Acoustics

 
Dong-Heon Kim, Jong-Geum Lee, Jin-Hong Kwon, Sang-Woo Kim and Hang-Bae Jun    
In this study, we aimed to develop a novel method to quantify residual colorants in the water supply using a spectrocolorimeter. Cross-tests of color and turbidity showed that standard color solutions of 1?50 color units had a turbidity of ?0.094 nephelo... ver más
Revista: Water

 
Cezary Kownacki, Leszek Ambroziak, Maciej Ciezkowski, Adam Wolniakowski, Slawomir Romaniuk, Zbigniew Kulesza, Arkadiusz Bozko and Daniel Oldziej    
Various unmanned aerial vechicle (UAV) applications, especially those based on reconnaissance and observation missions, often require an unlimited time of flight. This is possible only when a UAV is continuously supplied with power from a ground-based po... ver más
Revista: Applied Sciences

 
Hoyong Kim, Chanil Jeon, Kiwon Kim and Jeonghwa Seo    
The present study suggests a methodology for acquiring wave elevation fields using a depth camera sensor, with assessment results for the test uncertainty. The depth camera module of an Azure Kinect is calibrated using marker arrays on the optic table, t... ver más

 
Jianxing Zhang, Baoren Li, Yuxuan Peng, Daming Zou and Gang Yang    
Underwater gliders are a class of ocean observation equipment driven by buoyancy, and their energy consumption source is mainly generated by the active regulation of buoyancy. The periodic elastic deformation of the pressure hull during the upward and do... ver más