Filters








4,605 Hits in 5.2 sec

SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback [article]

Rui Zhong, Yongheng Chen, Hong Hu, Hangfan Zhang, Wenke Lee, Dinghao Wu
2020 arXiv   pre-print
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

Evan Martin
2007 29th International Conference on Software Engineering (ICSE'07 Companion)  
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]

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 arXiv   pre-print
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]

Mauro Castelli, Luca Manzoni, Leonardo Vanneschi
2012 arXiv   pre-print
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

Evan Martin, Tao Xie
2007 Proceedings of the 16th international conference on World Wide Web - WWW '07  
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

Lei Li
2022 Mobile Information Systems  
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

Westley Weimer, Zachary P. Fry, Stephanie Forrest
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
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

Ruli Manurung, Graeme Ritchie, Henry Thompson
2012 Journal of experimental and theoretical artificial intelligence (Print)  
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

NICHOLAS C. MILLER, PHILIP K. CHAN
2014 International Journal of Computational Intelligence and Applications  
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]

Wouter IJntema, Frederik Hogenboom, Flavius Frasincar, Damir Vandic
2014 Lecture Notes in Computer Science  
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

YOSHIHITO DOBASHI
2011 English Linguistics  
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

Soyeon Park, Wen Xu, Insu Yun, Daehee Jang, Taesoo Kim
2020 2020 IEEE Symposium on Security and Privacy (SP)  
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

Quang Uy Nguyen, Xuan Hoai Nguyen, Michael O'Neill
2011 Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11  
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]

Peter Cariani
1998 Evolutionary Systems  
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

William B. Langdon, Mark Harman, Yue Jia
2009 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques  
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