12 Hits in 3.0 sec

Survey on test data generation tools

Stefan J. Galler, Bernhard K. Aichernig
2013 International Journal on Software Tools for Technology Transfer (STTT)  
For the evaluation we defined 31 benchmark tests, which check the tools capabilities to generate test data that satisfies a given specification: 24 primitive type benchmarks and 7 non-primitive type and  ...  For example PEX uses constraint solving techniques, but in cases were the constraint solver reaches its limitations it uses random based techniques to overcome those.  ...  Acknowledgment.The authors wish to thank the anonymous referees for their detailed and constructive feedback in order to improve the paper.  ... 
doi:10.1007/s10009-013-0272-3 fatcat:4s2uiabp5vfd5bsiwvh5dgczqi

Automatic black-box method-level test case generation based on constraint logic programming

Yi-Tin Hu, Nai-Wei Lin
2010 2010 International Computer Symposium (ICS2010)  
This article proposes a testing framework that applies a black-box testing technique to automatically generate test cases for Java methods.  ...  The specification of Java methods is based on the Design by Contract software development approach.  ...  The framework for automatic black-box test case generation for Java methods.  ... 
doi:10.1109/compsym.2010.5685369 fatcat:taz5stpskrei3ox7ztqsaaa4fa

Object distance and its application to adaptive random testing of object-oriented programs

Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
2006 Proceedings of the 1st international workshop on Random testing - RT '06  
The resulting testing strategies open the way for effective automated testing of large, realistic object-oriented programs.  ...  Such distances have so far been defined for integers and other elementary inputs; extending the idea to the testing of today's object-oriented programs requires a more general notion of distance, applicable  ...  Acknowledgements We thank Stephanie Balzer, Lisa (Ling) Liu and Bernd Schoeller for many helpful discussions and very useful comments on the work presented here.  ... 
doi:10.1145/1145735.1145744 dblp:conf/issta/CiupaLOM06 fatcat:igyqa2mjwjd75ncwdah4a4557m

Guided random-based testing strategies

Cosmin Mitran
More than this, it is a distance function in the mathematical sense of term, having the following properties: • p ↔ q > 0 (p = q) and p ↔ p = 0 (Positivity) The Triangle Inequality) For computing object  ...  " [6] Korat is used for Java programs enriched with JML assertions. The main disadvantage of this tool is that it is not fully automatic.  ...  There are no conceptual differences between the two versions of AutoTest, so the functionality, architecture and structure remain the same.  ... 
doi:10.3929/ethz-a-005403299 fatcat:umss2oiitneifcu2fwdg2olth4

Bayesian Statistics in Software Engineering: Practical Guide and Case Studies [article]

Carlo A. Furia
2016 arXiv   pre-print
For historical and technical reasons, frequentist statistics has dominated data analysis in the past; but Bayesian statistics is making a comeback at the forefront of science.  ...  In this paper, we give a practical overview of Bayesian statistics and illustrate its main advantages over frequentist statistics for the kinds of analyses that are common in empirical software engineering  ...  The probability of variables over discrete domains is described by probability mass functions (p.m.f. for short); their counterparts over continuous domains are probability density functions (p.d.f.),  ... 
arXiv:1608.06865v2 fatcat:3rwjnst7xfayhf46bxjderkcye

A Taxonomic Review of Adaptive Random Testing: Current Status, Classifications, and Issues [article]

Jinfu Chen, Hilary Ackah-Arthur, Chengying Mao, Patrick Kwaku Kudjo
2019 arXiv   pre-print
We classify all ART studies and assess existing ART methods for numeric programs with a focus on their motivation, strategy, and findings.  ...  It is a widely used technique for software quality assurance, but there has been much debate by practitioners concerning its failure-detection effectiveness.  ...  Chen for his helpful comments in an earlier version of this article.  ... 
arXiv:1909.10879v2 fatcat:cgm7j2ipejeuzpja7x7qn3dhui

A Survey on Adaptive Random Testing

Rubing Huang, Weifeng Sun, Yinyin Xu, Haibo Chen, Dave Towey, Xin Xia
2019 IEEE Transactions on Software Engineering  
Adaptive random testing (ART) aims to enhance RT's failure-detection ability by more evenly spreading the test cases over the input domain.  ...  This paper also addresses some misconceptions about ART, and identifies open research challenges to be further investigated in the future work.  ...  ACKNOWLEDGMENTS We would like to thank the anonymous reviewers for their many constructive comments. We would also like to thank T. Y. Chen for his many helpful suggestions for this article.  ... 
doi:10.1109/tse.2019.2942921 fatcat:ttue22jqfbhytjsvpjawmvtcdy

Continuous deployment of mobile software at facebook (showcase)

Chuck Rossi, Elisa Shibley, Shi Su, Kent Beck, Tony Savor, Michael Stumm
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
The frequency of updates of mobile software has traditionally lagged the state of practice for cloud-based services for a number of reasons. Mobile versions can only be released periodically.  ...  There are hundreds of Android hardware variants, which increases the risk of having errors in the software being deployed.  ...  ACKNOWLEDGEMENTS We sincerely thank Laurent Charignon, Scott Chou, Amanda Donohue, Ben Holcomb, David Mortenson, Bryan O'Sullivan, James Pearce, Anne Ruggirello, Damien Sereni and Chip Turner for their  ... 
doi:10.1145/2950290.2994157 dblp:conf/sigsoft/RossiSSBSS16 fatcat:7fax7a2ezje7nepa7ki3eadvlm

Mapping the Effectiveness of Automated Test Suite Generation Techniques

Once these features are identified, can they be used to select the most effective ATSG technique (ATSGT) for a particular software system?  ...  In this thesis, we seek an answer to the question "What features of a software system impact the effectiveness of Automated Test Suite Generation (ATSG) techniques?"  ...  Assuming three non-zero, non-negative integer lengths for the sides of a triangle, the program decides if the triangle is isosceles, scalene, equilateral, or invalid [68] .  ... 
doi:10.26180/5d9d60fe04121 fatcat:c7iipgngtbfyhai74ego7egv2u

Advanced Language-based Techniques for Correct, Secure Networked Systems [article]

James Parker
To improve secure development, we created LWeb, a tool for enforcing label-based, information flow policies in database-using web applications.  ...  Second, we extend Yesod's table definition DSL and query functionality to permit defining and enforcing label-based policies on tables and enforcing them during query processing.  ...  The circles in the plot indicate teams that fixed at least one bug, whereas the triangles indicate teams that fixed no bugs.  ... 
doi:10.13016/fsym-xzir fatcat:2sg46arylfbsnjpoi2kgcwubxm

Automated model-based spreadsheet debugging

Thomas Schmitz, Technische Universität Dortmund, Technische Universität Dortmund
In order to assure a seamless integration into the environment that is well-known to the spreadsheet developers, the presented approaches are implemented as an extension for Microsoft Excel.  ...  As they are thus not familiar with quality control methods like systematic testing or debugging, they have to be supported by the spreadsheet environment itself to search for faults in their calculations  ...  We would like to thank Håkan Kjellerstrand and the Gecode team for their support.  ... 
doi:10.17877/de290r-18089 fatcat:k5jviobcgzcatl7b3yquj2obiq

Stuttgarter Symposium für Produktentwicklung SSP 2021 : Stuttgart, 20. Mai 2021, Wissenschaftliche Konferenz [article]

(:Unkn) Unknown, Universität Stuttgart, Hansgeorg Binz, Bernd Bertsche, Dieter Spath, Daniel Roth
The authors are responsible for the content of this publication.  ...  Industriedesign und Technik Acknowledgement The authors would like to thank the reviewers for their constructive input, the Audi AG for funding this work, research assistant Sabrina Svinjar for the co-moderation  ...  Note that we use the z-transform for discrete transfer function description.  ... 
doi:10.18419/opus-11478 fatcat:k6goybojrnbxlltet5g4fc6ymu