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
SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback
[article]
2020
arXiv
pre-print
Preserved Fulltext
To generate syntactically correct queries, we perform type-based mutations on IR, including statement insertion, deletion and replacement. ...
However, current mutation-based fuzzers cannot effectively test database management systems (DBMSs), which strictly check inputs for valid syntax and semantics. ...
Acknowledgment We thank the anonymous reviewers for their helpful feedback. ...
arXiv:2006.02398v1
fatcat:vitk5ojhqngj5ecs6ckxtq77ni
Testing and Analysis of Access Control Policies
2007
29th International Conference on Software Engineering (ICSE'07 Companion)
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.
mutation testing framework; we develop a policy model to facilitate refactoring, performance optimizations, dependency identification, and other types of static analysis. ...
We propose a fault model for access control policies and investigate various fault types and their frequencies of occurrence in policy development; we develop a mutation testing framework that implements ...
We define and implement several mutation operators that emulate semantic faults [3] . Syntactic Faults. ...
doi:10.1109/icsecompanion.2007.73
dblp:conf/icse/Martin07
fatcat:hurixha6jnectljkyh7qb5nahe
Semantic Fuzzing with Zest
[article]
2019
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 present the key insight that mutations in the untyped parameter domain map to structural mutations in the input domain. ...
Generator-based testing tools in the lineage of QuickCheck are a promising way to generate random syntactically valid test inputs for these programs. ...
The key insight in Zest is that bit-level mutations on these parameters correspond to structural mutations in the space of syntactically valid inputs. ...
arXiv:1812.00078v2
fatcat:gutor7pgojcaxlnwjvpqms4zea
An Efficient Genetic Programming System with Geometric Semantic Operators and its Application to Human Oral Bioavailability Prediction
[article]
2012
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.
Very recently new genetic operators, called geometric semantic operators, have been defined for genetic programming. ...
Contrarily to standard genetic operators, which are uniquely based on the syntax of the individuals, these new operators are based on their semantics, meaning with it the set of input-output pairs on training ...
For simplicity, from now on, GP using only geometric semantic crossover and mutation to explore the search space will be indicated as GS-GP (Geometric Semantic GP).
V. ...
arXiv:1208.2437v1
fatcat:abx3fgvgffbhfgjc45nhnz3jzq
A fault model and mutation testing of access control policies
2007
Proceedings of the 16th international conference on World Wide Web - WWW '07
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.
The framework includes mutation operators used to implement the fault model, mutant generation, equivalentmutant detection, and mutant-killing determination. ...
This framework allows us to investigate our fault model, evaluate coverage criteria for test generation and selection, and determine a relationship between structural coverage and fault-detection effectiveness ...
Our experimental results show that although structural coverage is a strong indicator of fault-detection effectiveness, it is far from optimal. ...
doi:10.1145/1242572.1242663
dblp:conf/www/MartinX07
fatcat:ltu3oaxqvjfn7jjeydpemth3oi
Analysis of Syntactic Complexity and Semantic Coherence of Academic English Writing Based on Particle Swarm Optimization
2022
Mobile Information 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 2022; you can also visit the original URL.
The file type is application/pdf.
This paper studies the syntactic complexity and semantic coherence of academic English writing based on PSO. The number of phrases is related to writing achievement. ...
Writing is an important part of testing language ability, and it is urgent to find some objective indicators to determine and evaluate the surface language structure, which will help language learners' ...
Finally, use specific language examples to remind students not to abuse compound noun structure.
English Syntactic Complexity and Semantic Coherence of PSO [21] . ...
doi:10.1155/2022/9917832
doaj:2c7185104d69404fa6cd0b6fe3abf01b
fatcat:nrv6tfblrnh5degzeex26o3h7i
Leveraging program equivalence for adaptive program repair: Models and first results
2013
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
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.
Insights from this model lead to a novel deterministic repair algorithm that computes a patch quotient space with respect to an approximate semantic equivalence relation. ...
This allows syntactic and dataflow analysis techniques to dramatically reduce the repair search space. ...
ACKNOWLEDGMENTS The authors are sincerely grateful to Jeff Offutt and Paul Amman for insightful discussions of the mutation testing aspect of this work. ...
doi:10.1109/ase.2013.6693094
dblp:conf/kbse/WeimerFF13
fatcat:qfitdmikhvgwro4xbymxeycb34
Using genetic algorithms to create meaningful poetic text
2012
Journal of experimental and theoretical artificial intelligence (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 2017; you can also visit the original URL.
The file type is application/pdf.
It uses a sophisticated linguistic formalism to represent its genomic information, from which can be computed the phenotypic information of both semantic representations and patterns of stress. ...
We confined our attention to the generation of texts which are syntactically well-formed, meet certain pre-specified patterns of metre, and broadly convey some given meaning. ...
We would also like to thank members of the University of Aberdeen NLG group and the anonymous reviewers for their comments in preparing this article. ...
doi:10.1080/0952813x.2010.539029
fatcat:4quyxgm2ybd3zinjgkcfwb3jta
SEMANTIC SEARCH TECHNIQUES FOR LEARNING SMALLER BOOLEAN EXPRESSION TREES IN GENETIC PROGRAMMING
2014
International Journal of Computational Intelligence and Applications
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.
New crossover and mutation operators are introduced which address two of the major limitations of SGP: large program trees and reduced accuracy on high-arity problems. ...
Additionally, a statistically significant improvement in program accuracy is observed for several high-arity Boolean problems. ...
This is an operation on the structure (or syntax) of the program. ...
doi:10.1142/s1469026814500187
fatcat:r7axit3nnbc5fpckpyigigmcha
A Genetic Programming Approach for Learning Semantic Information Extraction Rules from News
[chapter]
2014
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 2020; you can also visit the original URL.
The file type is application/pdf.
As it is difficult to efficiently maintain a balance between precision and recall, while using a manual approach, we present a genetic programming-based approach for automatically learning semantic information ...
extraction rules from (financial) news that extract events. ...
program COMMIT, and the NWO Mozaiek scholarship project 017.007.142: Semantic Web Enhanced Product Search (SWEPS). ...
doi:10.1007/978-3-319-11749-2_32
fatcat:tt465yy4ezhktd5nh3fkygellq
InterPhases: Phase-Theoretic Investigations of Linguistic Interfaces
2011
English Linguistics
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.
I would like to thank Takamichi Aki and two anonymous reviewers for helpful comments and suggestions. I would also like to thank Ian Megill for suggesting stylistic improvements. ...
from the other by a movement operation. ...
Examining consonant mutation in Welsh and Irish, Sato shows that CP and vP boundaries serve as barriers for mutation. ...
doi:10.9793/elsj.28.2_357
fatcat:zqzzxk3kl5ehnlaiok6glizuua
Fuzzing JavaScript Engines with Aspect-preserving Mutation
2020
2020 IEEE Symposium on Security and Privacy (SP)
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.
Nevertheless, for JavaScript-like complex programs, such a conventional design leads to test cases that tackle only shallow parts of the complex codebase and fails to reach deep bugs effectively due to ...
We demonstrate the aspect preservation with two mutation strategies, namely, structure and type preservation, in our fully-fledged JavaScript fuzzer, called DIE. ...
We thank the anonymous reviewers, and Frank Piessens especially, for their helpful feedback. ...
doi:10.1109/sp40000.2020.00067
dblp:conf/sp/ParkXYJK20
fatcat:5alijfsdzfdhzjdhcieoshowfa
Examining the landscape of semantic similarity based mutation
2011
Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11
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.
This gives an explanation for the better performance of SSM over standard subtree mutation operator. ...
The results show that SSM helps to significantly smooth out the fitness landscape of GP compared to standard subtree mutation. ...
Acknowledgment This paper was funded under a Postgraduate Scholarship from the Irish Research Council for Science Engineering and Technology (IRCSET). ...
doi:10.1145/2001576.2001760
dblp:conf/gecco/NguyenNO11
fatcat:j2phpurbhrh2rocaxvmhpqrcba
Towards an Evolutionary Semiotics: The Emergence of New Sign-Functions in Organisms and Devices
[chapter]
1998
Evolutionary 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.
For each of these different functional realms, basic syntactic, semantic, and pragmatic relations are outlined. ...
Towards a theory of symbols Signs, symbols, and signals are basic to our existence on many organizational levels, from the biological to the psychological to the social. ...
Optimally the means by which these physical substrates of semantic and syntactic are altered should result in stable alternatives (changes persist, making learning possible) and inheritable structures ...
doi:10.1007/978-94-017-1510-2_26
fatcat:4sxekd7yzrawlh7h3xftqpqmba
Multi Objective Higher Order Mutation Testing with Genetic Programming
2009
2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
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 academic empirical studies, mutation testing has been demonstrated to be a powerful technique for fault finding. ...
These twin problems of expense and realism have been a significant barrier to industrial uptake of mutation testing. ...
ACKNOWLEDGMENT We would like to thank the Software-artifact Infrastructure Repository sir.unl.edu and the authors of NSGA http://www.iitk.ac.in/kangal/. ...
doi:10.1109/taicpart.2009.18
fatcat:4yezoi4kizewppx5pgcqwkodee
« Previous
Showing results 1 — 15 out of 4,605 results