[HTML][HTML] Understanding the blockchain oracle problem: A call for action
G Caldarelli - Information, 2020 - mdpi.com
Scarce and niche in the literature just a few years ago, the blockchain topic is now the main
subject in conference papers and books. However, the hype generated by the technology …
subject in conference papers and books. However, the hype generated by the technology …
Metamorphic testing: A review of challenges and opportunities
Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …
A central element is a set of metamorphic relations, which are necessary properties of the …
A survey on metamorphic testing
A test oracle determines whether a test execution reveals a fault, often by comparing the
observed program output to the expected output. This is not always practical, for example …
observed program output to the expected output. This is not always practical, for example …
Fuzzing: State of the art
H Liang, X Pei, X Jia, W Shen… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
As one of the most popular software testing techniques, fuzzing can find a variety of
weaknesses in a program, such as software bugs and vulnerabilities, by generating …
weaknesses in a program, such as software bugs and vulnerabilities, by generating …
Identifying implementation bugs in machine learning based image classifiers using metamorphic testing
We have recently witnessed tremendous success of Machine Learning (ML) in practical
applications. Computer vision, speech recognition and language translation have all seen a …
applications. Computer vision, speech recognition and language translation have all seen a …
Arja: Automated repair of java programs via multi-objective genetic programming
Automated program repair is the problem of automatically fixing bugs in programs in order to
significantly reduce the debugging costs and improve the software quality. To address this …
significantly reduce the debugging costs and improve the software quality. To address this …
Big data systems: A software engineering perspective
A Davoudian, M Liu - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Big Data Systems (BDSs) are an emerging class of scalable software technologies whereby
massive amounts of heterogeneous data are gathered from multiple sources, managed …
massive amounts of heterogeneous data are gathered from multiple sources, managed …
Metamorphic testing of RESTful web APIs
Web Application Programming Interfaces (APIs) specify how to access services and data
over the network, typically using Web services. Web APIs are rapidly proliferating as a key …
over the network, typically using Web services. Web APIs are rapidly proliferating as a key …
Metamorphic testing for software quality assessment: A study of search engines
Metamorphic testing is a testing technique that can be used to verify the functional
correctness of software in the absence of an ideal oracle. This paper extends metamorphic …
correctness of software in the absence of an ideal oracle. This paper extends metamorphic …