A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A Systematic Literature Review of Automated Techniques for Functional GUI Testing of Mobile Applications
[article]
2018
arXiv
pre-print
Preserved Fulltext
From efficiency, we conclude that testing techniques which implement code search-based testing approaches tend to be more efficient than those implementing GUI model-based. ...
From effectiveness, we conclude that testing techniques which implement model-checking, symbolic execution, constraint solving, and search-based test generation approach tend to be more effective than ...
It could be explained by the fact that code search-based testing approaches generate tests being guided by more simple and compact models inferred from the app code rather than app GUI. ...
arXiv:1812.11470v1
fatcat:n46izlcu6bedxe3y3sft5dtge4
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions. ...
Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI. ...
Acknowledgement: This work is part of the EPSRC-funded project "Trustworthy Robotic Assistants" (refs. EP/K006320/1 and EP/K006223/1). ...
arXiv:1511.01354v4
fatcat:5zqdyc4w3bcqto3ssf3bnwb3fa
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions. ...
Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI. ...
Acknowledgement: This work is part of the EPSRC-funded project "Trustworthy Robotic Assistants" (refs. EP/K006320/1 and EP/K006223/1). ...
doi:10.1007/978-3-319-40379-3_3
fatcat:qfxne2lac5c73fnamz462rpxnq
Obtaining Statistically Random Information From Silicon Physical Unclonable Functions
2014
IEEE Transactions on Emerging Topics in Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose to decouple the unwanted systematic variation from the desired random variation through a regression-based distiller, where the basic idea is to build a model for the systematic ...
In fact, when we apply NIST's statistical test suite for randomness against the random sequences generated from a population of 125 ring oscillator PUFs using classic 1-out-of-8 coding and neighbor coding ...
REGRESSION-BASED DISTILLER When we apply polynomial regression models to capture the systematic variation trend, higher order models have better accuracy and generate smaller residual terms ( k,x,y 's ...
doi:10.1109/tetc.2014.2316497
fatcat:7tz3wsggjndt3kqc7eojhvxrti
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems
2006
2006 International Workshop on Intelligent Solutions in Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In model-based testing the test cases are derived from a model of the system under test. ...
In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing. ...
Systematic Testing: Systematic testing means that the test cases are generated according to specific test purposes. We create test cases based on the formalized properties to be tested. ...
doi:10.1109/wises.2006.329116
dblp:conf/wises/KandlKP06
fatcat:u6oxa4ytnbgu3apjanpzazw7ii
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems
2006
2006 International Workshop on Intelligent Solutions in Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In model-based testing the test cases are derived from a model of the system under test. ...
In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing. ...
Systematic Testing: Systematic testing means that the test cases are generated according to specific test purposes. We create test cases based on the formalized properties to be tested. ...
doi:10.1109/wises.2006.237154
fatcat:ap7a7bmooja6dllwjzlotsq2mq
SYSMODIS: A Systematic Model Discovery Approach
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present an automated model discovery approach, called SYSMODIS, which uses covering arrays to systematically sample the input spaces. ...
SYSMODIS discovers finite state machine-based models, where states represent distinct screens and the edges between the states represent the transitions between the screens. ...
SYSMODIS Crawl the screens by interacting with UI, generate test values for the inputs, discover the model and execute the tests systematically and automatically. ...
doi:10.5281/zenodo.4661769
fatcat:2bid4aqgibgxxgrrfeluoifqvm
Systematic Testing of Software Architectures in the C2 Style
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We show how choosing a specific architectural style, which supports implementation and facilitates the mapping among SA-based and code-based test cases, a completely systematic SA-based testing approach ...
The topic of software architecture (SA) based testing has recently raised some interest. ...
Acknowledgments The authors gratefully acknowledge the Italian MIUR national project SAHARA and the National Science Foundation, both of which partially supported this work. ...
doi:10.1007/978-3-540-24721-0_22
fatcat:qguusker3jeo5mft3lkfzvphya
On Transforming Model-based Tests into Code: A Systematic Literature Review
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This set of files is complementary material of our systematic literature review. ...
Specifically, the set of files includes a BibTeX file with references and summaries of studies we analyzed, a spreadsheet that reflects the study selection process and data classification, and a PDF with ...
obtained with model-based test suites • Level of automation for model-based test generation • Level of automation for test re-execution (model → code) • Level of traceability of model elements → code ...
doi:10.5281/zenodo.6327698
fatcat:btaeds6u7nbv3ocvi7il4tdyjq
Assessing model quality
2004
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Systematic dynamic analysis of code (i.e., code testing) involves executing programs on a selected set of test inputs that satisfy some test criteria. ...
In particular, innovative work on defining effective test criteria that are based on coverage of model elements and on the generation of modellevel test cases that provide desired levels of coverage is ...
Systematic dynamic analysis of code (i.e., code testing) involves executing programs on a selected set of test inputs that satisfy some test criteria. ...
doi:10.1007/s10270-004-0068-8
fatcat:oeu6444xujhyzngifx3wgfzwjm
Development of PYMUS+ Code for Quantitative Evaluation of Nuclear Material Accounting (NMA) System
2019
Science and Technology of Nuclear Installations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Furthermore, a user can make a static process model having simplicity and a matching NMA model based on the PYMUS+ code regardless of facility throughput and is not even required to have professional programming ...
The most important feature of the PYMUS+ code is its capability to evaluate many process and NMA system model options that a user wants to evaluate. ...
Generally, FAPs are considered to account for 5% of the error results of statistical tests in safeguards. So, in the PYMUS+ code, FAPs were set at 5% for each statistical test. ...
doi:10.1155/2019/8479181
fatcat:ptfnwnpykbfpvmtyix2bhiv2m4
Overview of existing safeguarding techniques for automatically generated code
2005
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © ACM, (2005) This is the author's version of the work ...
Code generators are increasingly used in an industrial context to translate graphical models into executable code. ...
Acknowledgement The work described was partially performed as part of the IMMOS project funded by the German Federal Ministry of Education and Research (project ref. 01ISC31D). http://www.immosproject.de ...
doi:10.1145/1082983.1083192
fatcat:qkklasq3izgajirw4ilplpsyo4
Overview of existing safeguarding techniques for automatically generated code
2005
Proceedings of the second international workshop on Software engineering for automotive systems - SEAS '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © ACM, (2005) This is the author's version of the work ...
Code generators are increasingly used in an industrial context to translate graphical models into executable code. ...
Acknowledgement The work described was partially performed as part of the IMMOS project funded by the German Federal Ministry of Education and Research (project ref. 01ISC31D). http://www.immosproject.de ...
doi:10.1145/1083190.1083192
fatcat:jurrd3ypqzfqddp7lrsyfjqk7q
INVESTIGATING SYSTEMATICITY IN THE LINEAR RAAM NEURAL NETWORK
2009
Connectionist Models of Behaviour and Cognition II
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
(sparse) binary WordNet-based codes, compared to (symbolic) neutral and to (distributed) word co-occurrence based codes. ...
Only with WordNet codes the model could generalize to processing structures that contain known words at new syntactic positions or contain novel words, as long as these shared semantic features with the ...
Levels of systematicity In the original paper of Fodor and Pylyshyn, the use of concept of systematicity was rather vague, so it was difficult to test it in connectionist models. ...
doi:10.1142/9789812834232_0018
fatcat:xhojztiknvalni4dctjr34zyly
Model-based Software Design and Testing in Blockchain Smart Contracts: a Systematic Literature Review
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In addition, the definition of these formal models facilitates the definition of transformation rules to generate a test case systematically and automatically, and even software code associated with these ...
In this regard, the main benefit of using model-based development software is the auto-generation of code, which can eliminate human error and facilitate code reusability. ...
doi:10.1109/access.2020.3021502
fatcat:7heozxvgmbgmbnbf432x5mfc7u
« Previous
Showing results 1 — 15 out of 789,219 results