Filters








68,084 Hits in 5.4 sec

Tests from traces: automated unit test extraction for R

Filip Křikava, Jan Vitek
2018 Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018  
Unit tests are labor-intensive to write and maintain. This paper looks into how well unit tests for a target software package can be extracted from the execution traces of client code.  ...  We present Genthat, a tool developed over the last couple of years to non-invasively record execution traces of R programs and extract unit tests from those traces.  ...  We also thank Tomáš Kalibera from the R Core Team for his feedback.  ... 
doi:10.1145/3213846.3213863 dblp:conf/issta/KrikavaV18 fatcat:iwvqzvjlv5b2zn4xuydqrkfmuy

From test cases to FSMs

Thomas Arts, Simon Thompson
2010 Proceedings of the 9th ACM SIGPLAN workshop on Erlang - Erlang '10  
This paper uses the inference of finite state machines from EUnit test suites for Erlang programs to make two contributions.  ...  Secondly, we use FSM inference to develop QuickCheck properties for testing state-based systems.  ...  This will allow QuickCheck properties for state-based systems to be extracted from tests in a semi-automated but user-guided way.  ... 
doi:10.1145/1863509.1863511 dblp:conf/erlang/ArtsT10 fatcat:qjpqqnqzdvg73koyg6znjnfwki

Model extraction and test generation from JUnit test suites

Pablo Lamela Seijas, Simon Thompson, Miguel Ángel Francisco
2016 Proceedings of the 11th International Workshop on Automation of Software Test - AST '16  
In this paper we describe how to infer state machine models of systems from legacy unit test suites, and how to generate new tests from those models.  ...  We illustrate those techniques with examples from our implementation, the James tool, designed to apply these techniques in practice to Java code and tests.  ...  Acknowledgment The authors would like to thank the European Commission for their support of this work through the project PROWESS, http://www.prowess-project.eu/, grant number 317820.  ... 
doi:10.1145/2896921.2896927 dblp:conf/icse/SeijasTF16 fatcat:ene2fzj7nvelzoce3hhbqd5dle

Extracting QuickCheck specifications from EUnit test cases

Thomas Arts, Pablo Lamela Seijas, Simon Thompson
2011 Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang '11  
In this paper we report on mechanisms to extract QuickCheck specifications from EUnit test suites.  ...  We use the QSM algorithm to infer state machines from sets of positive and negative traces derived from the test suite.  ...  We would also like to thank Hans Svensson for his contribution to StateChum interfacing and testing.  ... 
doi:10.1145/2034654.2034666 dblp:conf/erlang/ArtsST11 fatcat:m72tntvpibgwfeds757j27rd7e

Nutrition, Vitamins and Trace Elements

2017 Clinical Chemistry and Laboratory Medicine  
obtained from measurements by LC-MS/MS (r= 0.967).  ...  Remaining material of 93 serum samples sent for determination of 1,25(OH) 2 VitD to our laboratory was used for measurements with automated immunoassays from either IDS on the IDS iSYS immunoanalyzer or  ...  Isolated PBMCs from healthy donors were exposed to steviol and its glycosides (0.1-10 µM) as well as to stevia extract (10-500 µg/ml) for 12 and 24 h.  ... 
doi:10.1515/cclm-2017-5029 fatcat:swmnw7pt7fh3rngrk64vfbmnli

Semantics-aware trace analysis

Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan
2009 SIGPLAN notices  
We then introduce several types of views used to analyze regression bugs along with a novel, scalable technique for semantic differencing of traces from different versions of the same program.  ...  We first formalize a subset of Java and a grammar for traces generated at program execution.  ...  Acknowledgments We would like to thank Murali Krishna Ramanathan and the anonymous reviewers for their time and effort spent improving this paper.  ... 
doi:10.1145/1543135.1542527 fatcat:sqrpt56ryzaf7meucgmligdw34

Semantics-aware trace analysis

Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan
2009 Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09  
We then introduce several types of views used to analyze regression bugs along with a novel, scalable technique for semantic differencing of traces from different versions of the same program.  ...  We first formalize a subset of Java and a grammar for traces generated at program execution.  ...  Acknowledgments We would like to thank Murali Krishna Ramanathan and the anonymous reviewers for their time and effort spent improving this paper.  ... 
doi:10.1145/1542476.1542527 dblp:conf/pldi/HoffmanEJ09 fatcat:urbhtat54bevtbniazp3al5sry

Linguistic Feature Classifying and Tracing

Mohammadreza Moohebat, Ram Gopal Raj, Dirk Thorleuchter, Sameem Binti Abdul Kareem
2017 Malaysian Journal of Computer Science  
For evaluation purpose, a linguistic feature-based prediction model is built to enable an automated assignment of articles to their years of publication.  ...  Linguistic features differ from shallow features because they represent authors' lexico-grammatical writing styles and do not consider well-known bag-of-words model.  ...  ACKNOWLEDGEMENT We thank Springer publisher who provides us institutional access to its book series and university of Malaya for supporting this research with Research Grant RP026-14AET and PG031-2014A  ... 
doi:10.22452/mjcs.vol30no2.1 fatcat:gukang4yhbaadh5pboldlrrmgi

Carving and Replaying Differential Unit Test Cases from System Test Cases

S. Elbaum, Hui Nee Chin, M.B. Dwyer, M. Jorde
2009 IEEE Transactions on Software Engineering  
We present a framework for carving and replaying DUTs that accounts for a wide variety of strategies and trade-offs, we implement an automated instance of the framework with several techniques to mitigate  ...  Differential unit tests (DUTs) are a hybrid of unit and system tests that exploits their strengths.  ...  Weide for inspiring this effort, S. Reddy for the feasibility exploration she provided through her thesis, and J. Dokulil for his effort in the initial implementation of the CR tool.  ... 
doi:10.1109/tse.2008.103 fatcat:gvdpybqmhjhl7jofzmawawtpqu

Accurate Heartbeat Detection on Ballistocardiogram Accelerometric Traces

Niccolo Mora, Federico Cocconcelli, Guido Matrella, Paolo Ciampolini
2020 IEEE Transactions on Instrumentation and Measurement  
This article presents an automated procedure for acquisition and analysis of BallistoCardioGraphy (BCG) traces.  ...  A triaxial accelerometer and a microcontroller unit are used to record heart-induced recoil forces generated from a lying subject.  ...  Riccardo Piazza for his contribution in developing part of the measurement system and for the help in data collection.  ... 
doi:10.1109/tim.2020.2998644 fatcat:6kx3gvibezd7xcxdvvh37n32t4

Automated planning for finding alternative bug traces

Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta
2020 IET Computers & Digital Techniques  
Bug traces serve as references for patching a microprocessor design after a bug has been found.  ...  The plans are then translated to simulation test cases which explore these potential bug scenarios.  ...  They develop a feature-based rule learning approach for knowledge extraction from simulation traces.  ... 
doi:10.1049/iet-cdt.2019.0283 fatcat:ew2p2sxs5nflxls5jfcbqba26e

Trace fluorescent labeling for high-throughput crystallography

Elizabeth Forsythe, Aniruddha Achari, Marc L. Pusey
2006 Acta Crystallographica Section D: Biological Crystallography  
The use of trace-labeled protein is also proposed to be useful for the automated centering of crystals in X-ray beamlines.  ...  Qualitative visual-inspection experiments over a range of label concentrations indicated that optimum derivatization levels ranged from 0.025-0.05% for insulin to 0.1-0.25% for thaumatin.  ...  Acknowledgements Funding support for this work was provided by NIGMS grant GM071581.  ... 
doi:10.1107/s0907444906000813 pmid:16510981 pmcid:PMC1409766 fatcat:yqkvjgol2bd7pp2goy6ifejoly

Analyzing sound tracings

Kristian Nymoen, Baptiste Caramiaux, Mariusz Kozak, Jim Torresen
2011 Proceedings of the 1st international ACM workshop on Music information retrieval with user-centered and multimodal strategies - MIRUM '11  
The process of extracting features from motion data is discussed in the thesis, along with motion features used in analysis of sound-tracing experiments, including time-varying features and global features  ...  analysis was applied in order to analyse correlations between combinations of sound features and motion features in the sound-tracing experiments. (4) Traditional statistical tests were applied to compare  ...  This research has received funding from EU FP7 under grant agreement no. 257906 (EPiCS), and the Norwegian Research Council, project no. 183180 (SMA).  ... 
doi:10.1145/2072529.2072541 dblp:conf/mm/NymoenCKT11 fatcat:dey4sbskxvhbfhned4vlmei76e

Toward an effective automated tracing process

Anas Mahmoud
2012 2012 20th IEEE International Conference on Program Comprehension (ICPC)  
Title of Study: Toward an effective automated tracing process Pages of Study: 217 Candidate for Degree of Doctor of Philosophy Traceability is defined as the ability to establish, record, and maintain  ...  In particular, traceability tools are still far from achieving performance levels that are adequate for practical applications.  ...  The amount of energy gained per unit time of foraging is therefore R = g(t W )/(t B + t W ) .  ... 
doi:10.1109/icpc.2012.6240502 dblp:conf/iwpc/Mahmoud12 fatcat:2vz2rn5rinezbhywiwpl3hj4oy

Require, Test and Trace IT [chapter]

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Stefan Tiran
2015 Lecture Notes in Computer Science  
We design a specification language, requirement interfaces, for formalizing different views (aspects) of synchronous data-flow systems from informal requirements.  ...  We propose a framework for requirement-driven test generation that combines contract-based interface theories with model-based testing.  ...  We generated 165 negative tests-197 mutants were k-equivalent. From the 165 negative tests, we extracted 28 unique positive test cases.  ... 
doi:10.1007/978-3-319-19458-5_8 fatcat:4qn4rjdowbehhjtryaz4miv3mm
« Previous Showing results 1 — 15 out of 68,084 results