Augmenting Concolic Testing with Weighted Constraints-Based Search

Author(s):  
Zhibin Ye ◽  
Dawei Shi
2011 ◽  
Vol 34 (6) ◽  
pp. 953-964 ◽  
Author(s):  
Zhan-Qi CUI ◽  
Lin-Zhang WANG ◽  
Xuan-Dong LI
Keyword(s):  

2020 ◽  
Vol 39 (3) ◽  
pp. 407-437
Author(s):  
Markus Bader

Abstract In German, a verb selected by another verb normally precedes the selecting verb. Modal verbs in the perfect tense provide an exception to this generalization because they require the perfective auxiliary to occur in cluster-initial position according to prescriptive grammars. Bader and Schmid (2009b) have shown, however, that native speakers accept the auxiliary in all positions except the cluster-final one. Experimental results as well as corpus data indicate that verb cluster serialization is a case of free variation. I discuss how this variation can be accounted for, focusing on two mismatches between acceptability and frequency: First, slight acceptability advantages can turn into strong frequency advantages. Second, syntactic variants with basically zero frequency can still vary substantially in acceptability. These mismatches remain unaccounted for if acceptability is related to frequency on the level of whole sentence structures, as in Stochastic OT (Boersma and Hayes2001). However, when the acceptability-frequency relationship is modeled on the level of individual weighted constraints, using harmony as link (see Pater2009, for different harmony based frameworks), the two mismatches follow given appropriate linking assumptions.


Author(s):  
Xinyu Wang ◽  
Jun Sun ◽  
Zhenbang Chen ◽  
Peixin Zhang ◽  
Jingyi Wang ◽  
...  
Keyword(s):  

Author(s):  
Pingfan Kong ◽  
Yi Li ◽  
Xiaohong Chen ◽  
Jun Sun ◽  
Meng Sun ◽  
...  

Author(s):  
Sangharatna Godboley ◽  
Arpita Dutta ◽  
Durga Prasad Mohapatra

Being a good software testing engineer, one should have the responsibility towards environment sustainability. By using green principles and regulations, we can perform Green Software Testing. In this paper, we present a new approach to enhance Branch Coverage and Modified Condition/Decision Coverage uses concolic testing. We have proposed a novel transformation technique to improve these code coverage metrics. We have named this new transformation method Double Refined Code Transformer (DRCT). Then, using JoulMeter, we compute the power consumption and energy consumption in this testing process. We have developed a tool named Green-DRCT to measure energy consumption while performing the testing process.


Sign in / Sign up

Export Citation Format

Share Document