Automated generation of oracled test cases with regular expressions and combinatorial techniques
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Software: Evolution and Process"
DOI: 10.1002/smr.2273
Abstract: One of the main challenges of software testing research is the automated addition of oracles to the generated test cases: Whereas the automated generation of operation sequences (which is one of the essential components of… read more here.
Keywords: automated generation; regular expressions; test; generation oracled ... See more keywords
Multifamily Classification of Android Malware With a Fuzzy Strategy to Resist Polymorphic Familial Variants
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.3019282
Abstract: The Multifamily classification of Android malware aims to identify a malicious sample as one of the given malware families. This problem is believed to be much more significant than the binary classification (simply identify a… read more here.
Keywords: regular expressions; classification android; strategy; multifamily classification ... See more keywords
Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2016.2600241
Abstract: We revisit the specification of control circuits and protocols written as regular expressions, and propose a synthesizable subset of the sequences that can be written in the property specification language and system Verilog assertions standards.… read more here.
Keywords: regular expressions; seres hardware; synthesis regular; revisited psl ... See more keywords