Filters








539,057 Hits in 6.9 sec

Using Graph Neural Networks for Program Termination [article]

Yoav Alon, Cristina David
2022 arXiv   pre-print
Overall, we designed and implemented classifiers for program termination based on Graph Convolutional Networks and Graph Attention Networks, as well as a semantic segmentation Graph Neural Network that  ...  Termination analyses investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of program bugs (e.g. hanging programs, denial-of-service vulnerabilities  ...  This objective is similar to that of fault localization, which takes as input a set of failing and passing test cases, and produces a ranked list of potential causes of failure [41] .  ... 
arXiv:2207.14648v1 fatcat:nqnggy5rhjcqzngggguqwmqfsy

Generating integration test cases automatically

Konstantin Rubinov
2010 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10  
In this thesis, I investigate the problem of automatically generating test cases. In particular, I focus on the problem of automatic generation of integration test cases from unit test cases.  ...  I expect to complete the research by defining a set of design for testability rules to produce software that facilitates the automatic generation of integration test cases.  ...  My PhD research focuses on the problem of automating one of these human-intensive activities: the generation of integration test cases.  ... 
doi:10.1145/1882291.1882346 dblp:conf/sigsoft/Rubinov10 fatcat:wca5y73usnbkbefrq3egnzdd34

PatrIoT: IoT Automated Interoperability and Integration Testing Framework

Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier Bellekens, Dani Almog, Pavel Herout
2021 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)  
PatrIoT also contains a set of reference example testbeds and several sets of example automated tests for a smart street use case.  ...  In this paper, we present a PatrIoT framework that aims to provide flexible support to construct an effective IoT system testbed to implement automated interoperability and integration testing.  ...  Test automation frameworks and testbeds, specifically focusing on interoperability and integration testing, are discussed in several studies.  ... 
doi:10.1109/icst49551.2021.00059 fatcat:4mxq7z7dqzckhj3qywh5d4ujvm

Towards Mutation Testing of Simulink Models

Joanna Kisaakye, Onur Kilinççeker, Serge Demeyer
2021 BElgian-NEtherlands software eVOLution symposium  
In this paper, we propose a framework for mutation testing of Simulink models.  ...  Mutation testing has been shown to work on an industrial scale for embedded systems, however only for unit tests.  ...  Acknowledgments The authors express their gratitude to anonymous reviewer for their valuable comments and suggestions on earlier versions of the current paper.  ... 
dblp:conf/benevol/KisaakyeKD21 fatcat:bkdhetpo2betzkwu2ri2ziwlqi

A Brief Survey of Current Software Engineering Practices in Continuous Integration and Automated Accessibility Testing [article]

Parth Sane
2021 arXiv   pre-print
This paper attempts to map the current scene of the software engineering effort spent on improving accessibility via continuous integration and it's hurdles to adoption as quoted by researchers.  ...  We also try to explore steps that agile teams may take to train members on how to implement accessibility testing and introduce key diagrams to visualize processes to implement CI based accessibility testing  ...  Projects adopting continuous integration and automated testing have reported increased number of test cases.  ... 
arXiv:2103.00097v1 fatcat:u3hzmcqa6nda7b3wh5i23canee

Technical Debt in Test Automation

Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist
2012 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation  
To further investigate this, we performed a case study on a telecommunication subsystem to seek factors that contribute to inefficiencies in use, maintenance, and development of the automated testing performed  ...  Published studies on test automation indicate that the maintenance and development of test automation tools commonly encounter problems due to unforeseen issues.  ...  ACKNOWLEDGMENTS The work was performed within the frame of ITS-EASY, an industrial research school in Embedded Software and Systems, affiliated with the School of Innovation, Design and Engineering at  ... 
doi:10.1109/icst.2012.192 dblp:conf/icst/WiklundESL12 fatcat:wd2u6l35irenffazkefylyo2qa

Complementing the B-Method with Model-Based Testing

Ernesto Cid Brasil de Matos
2015 International Conference on Software Technologies: Applications and Foundations  
The approach is also supported by a tool that partially automates the test generation process.  ...  The approach generates unit test cases that verify the conformance between the initial abstract model and the actual implementation of the system, checking if the developed code behaves as specified in  ...  This approach is tool supported and partially automates the generation of test cases for a software implementation based on B-Method's abstract state machines.  ... 
dblp:conf/staf/Matos15 fatcat:p3xizwskkzgupf3q5o2yqnchbq

The first international workshop on automation of software test

Hong Zhu, Joseph R. Horgan, S. C. Cheung, J. Jenny Li
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
Automation is the trend of software testing. In the past decades, a great amount of research effort has been made on the automation of test case generation, test oracles and so on.  ...  Software test, Software automation, Test case generation, Modelbased test, Test adequacy and coverage, Test cost and effectiveness, Test tools and environments, Component integration test.  ...  Automation is the trend of software testing. In the past decades, a great amount of research effort has been made on the automation of test case generation, test oracles and so on.  ... 
doi:10.1145/1134285.1134487 dblp:conf/icse/ZhuHCL06 fatcat:a4k2ygfmwrbzdfbkccfjth46qq

Experiences of System-Level Model-Based GUI Testing of an Android Application

Tommi Takala, Mika Katara, Julian Harty
2011 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation  
: Add new keywords to the object hierarchy Case Study: BBC News Widget Goal: to trial automatic test generation on Android.  ...  Modes include: random, use case, basic coverage, … Available from http://tema.cs.tut.fi IntroductionModel-based GUI testing -Lots of study, few real-life reported experiencesKeyword-based test automation  ...  We would also like to see it used to test a variety of commercial software to ascertain the quality and utility of the bugs found by the tools. Thank you!  ... 
doi:10.1109/icst.2011.11 dblp:conf/icst/TakalaKH11 fatcat:sq5aiju4xrawvnudvypuimzdyi

Construction of a Regression Test Automation System

Inhwa Choi, Wonshik Na
2018 International Journal of Engineering & Technology  
the test cases being automatically generated, which led to a discovery of 37% more key defects.  ...  , GUI test automation, and integrated test automation in order to create tests that are more efficient as well as cost efficient.Methods/Statistical analysis: This paper proposes a regression test automation  ...  As testing plays an important role in software quality assurance, many studies are now being carried out in areas such as test method design, test case generation, test case management, GUI test automation  ... 
doi:10.14419/ijet.v7i3.34.19386 fatcat:5ibgosuxujhb5gsqqkpk7p7ah4

A survey on model-based testing approaches

Arilo C. Dias Neto, Rajesh Subramanyan, Marlon Vieira, Guilherme H. Travassos
2007 Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07  
This paper describes a systematic review performed on modelbased testing (MBT) approaches.  ...  The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity.  ...  Travassos is a CNPq researcher. This work has been developed in context of eSEE and SCR grant.  ... 
doi:10.1145/1353673.1353681 fatcat:uwxgv5sdunadlkbjegyfqgrlpi

Author Index

2021 2021 74th Conference for Protective Relay Engineers (CPRE)  
solution to reduce the risk of Restricted Earth-Fault (REF) Protection Challenges due to extensive use of Cables: A Case Study ground faults causing forest fires?  ...  Data to Understand Faults That Application and Integration of Automation-Based Tools for Efficient and Accurate Modeling of Transmission System Protection Misbehave Application and Integration of Automation-Based  ... 
doi:10.1109/cpre48231.2021.9429846 fatcat:jeoj6nuzgrhlhcxdzztuzuzyky

Sena TLS-Parser: A Software Testing Tool for Generating Test Cases

Rosziati Ibrahim, Samah W. G. AbuSalim, Sapiee Jamel, Jahari Abdul Wahab
2022 International Journal of Advanced Computer Science and Applications  
Model-based testing (MBT) is a test design technique that supports the automation of software testing processes by generating test artefacts based on a system model that represents the system under test's  ...  The process of generating test cases automatically by Sena TLS-Parser is be presented through several case studies.  ...  The authors received funding for this study from Industry Grant under Grant Vote No M081.  ... 
doi:10.14569/ijacsa.2022.0130649 fatcat:fqw2d7ozarefjkcmmjbfzbfiti

Study Paper on Test Case Generation for Gui Based Testing

A Isabella
2012 International Journal of Software Engineering & Applications  
Intent of this paper is to study some techniques used for test case generation and process for various GUI based software applications.  ...  Due to the importance of the testing phase in a software development lifecycle, testing has been divided into graphical user interface (GUI) based testing, logical testing, integration testing, etc.GUI  ...  This study helps to choose the test case generation technique based on the requirements of the testing and it also helps to choose the type of GUI test to perform based on the application type such as  ... 
doi:10.5121/ijsea.2012.3110 fatcat:m5qqyn46uzfxvgcflse646hipu

Trade-off between automated and manual software testing

Ossi Taipale, Jussi Kasurinen, Katja Karhu, Kari Smolander
2011 International Journal of Systems Assurance Engineering and Management  
The study explores the current state of test automation in software testing organizations by focusing on the views and observations of managers, testers and developers in each organization.  ...  Such issues as properties of tested products, attitudes of employees, resource limitations, and customers influenced the level of test automation in the case organizations.  ...  Acknowledgment This study was supported by the ESPA-project (http://www.soberit.hut.fi/espa), funded by the Finnish Funding Agency for Technology and Innovation, and by the companies mentioned in the project  ... 
doi:10.1007/s13198-011-0065-6 fatcat:ej5g4lhjz5a25iip7s32twep6a
« Previous Showing results 1 — 15 out of 539,057 results