Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Simon Poulding"'
Publikováno v:
Journal of Systems and Software. 142:156-170
Context: Search-Based Software Testing (SBST), and the wider area of Search-Based Software Engineering (SBSE), is the application of optimization algorithms to problems in software testing, and sof ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0823f2f8a79837fee5c7342a7f3457e
https://doi.org/10.1016/j.jss.2018.04.061
https://doi.org/10.1016/j.jss.2018.04.061
Autor:
Reed Milewicz, Simon Poulding
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 42:1-5
The future of model checking lies in parallel and distributed computing, but parallel graph search algorithms tailored to directed model checking remains an underdeveloped area of research. In this work, we examine the application of parallel Monte C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ee78c621c3beadfc430b77a3fcdfcde
https://doi.org/10.1145/3149485.3149495
https://doi.org/10.1145/3149485.3149495
Publikováno v:
Information and Software Technology. 93:223-245
Context: Early software reuse is considered as the most beneficial form of software reuse. Hence, previous research has focused on supporting the reuse of software requirements. Objective: This stu ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e966cf6733fedeaf4ea191b4c9285ea
https://doi.org/10.1016/j.infsof.2017.09.009
https://doi.org/10.1016/j.infsof.2017.09.009
Publikováno v:
Information and Software Technology. 78:66-82
Context: Search-based software testing promises to provide users with the ability to generate high-quality test cases, and hence increase product quality, with a minimal increase in the time and effort required. One result that emerged out of a previ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::acdc95d61aa73abbfcdfe0f380cd4bde
https://doi.org/10.1016/j.infsof.2016.05.009
https://doi.org/10.1016/j.infsof.2016.05.009
Publikováno v:
GECCO
We propose an algorithm that optimises input profiles for use in software testing.The algorithm uses a representation based on stochastic context-free grammars.We evaluate the algorithm on software with complex input domains.The efficiency is improve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95e351112f24ba0c0bb2745461860483
https://doi.org/10.1016/j.jss.2014.11.042
https://doi.org/10.1016/j.jss.2014.11.042
Publikováno v:
Applied Soft Computing. 29:26-39
Graphical abstractDisplay Omitted HighlightsPractical application and industrial evaluation of interactive SBST.Interaction of domain experts with SBST combines computational power with experience.Interactive SBST complements existing techniques for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3be1f7f55395e1e428a5d3b36532df80
https://doi.org/10.1016/j.asoc.2014.12.025
https://doi.org/10.1016/j.asoc.2014.12.025
Autor:
Simon Poulding, Robert Feldt
Publikováno v:
ICST Workshops
One form of robustness in a software system is its ability to handle, in an appropriate manner, inputs that are unexpected compared to those it would experience in normal operation. In this paper we investigate a generic approach to generating such u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92bb0ec2179e72ebd02e42ef5c724a66
https://doi.org/10.1109/icstw.2017.21
https://doi.org/10.1109/icstw.2017.21
Publikováno v:
Empirical Software Engineering. 19:1502-1530
Software systems that rely on ad-hoc networks are increasingly complex and prevalent. Some of these systems provide vital functionality to emergency services, military operations, and disaster relief; such systems may have significant impact on the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3aa0a952d8a13a8009ea4961c310dfa
https://doi.org/10.1007/s10664-013-9295-3
https://doi.org/10.1007/s10664-013-9295-3
Publikováno v:
Software & Systems Modeling. 13:735-755
Model-driven engineering introduces additional challenges for controlling and managing software evolution. Today, tools exist for generating model editors and for managing models with transformation, validation, merging and weaving. There is limited
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06554314210e049d76a4551da5e9ba13
https://doi.org/10.1007/s10270-012-0296-2
https://doi.org/10.1007/s10270-012-0296-2
Autor:
John A. Clark, Simon Poulding
Publikováno v:
IEEE Transactions on Software Engineering. 36:763-777
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are generated by sampling from a probability distribution chosen so that ea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9b25249d1979dea546653fec0466c9a
https://doi.org/10.1109/tse.2010.24
https://doi.org/10.1109/tse.2010.24