How we get there: a context-guided search strategy in concolic testing

Author(s):  
Hyunmin Seo ◽  
Sunghun Kim
2019 ◽  
Vol 107 ◽  
pp. 137-158 ◽  
Author(s):  
Arash Sabbaghi ◽  
Hamidreza Rashidy Kanan ◽  
Mohammad Reza Keyvanpour

2007 ◽  
Vol 60 (7) ◽  
pp. 924-935 ◽  
Author(s):  
Thomas Geyer ◽  
Adrian Von Mühlenen ◽  
Hermann J. Müller

Horowitz and Wolfe (1998, 2003) have challenged the view that serial visual search involves memory processes that keep track of already inspected locations. The present study used a search paradigm similar to Horowitz and Wolfe's (1998), comparing a standard static search condition with a dynamic condition in which display elements changed locations randomly every 111 ms. In addition to measuring search reaction times, observers’ eye movements were recorded. For target-present trials, the search rates were near-identical in the two search conditions, replicating Horowitz and Wolfe's findings. However, the number of fixations and saccade amplitude were larger in the static than in the dynamic condition, whereas fixation duration and the latency of the first saccade were longer in the dynamic condition. These results indicate that an active, memory-guided search strategy was adopted in the static condition, and a passive “sit-and-wait” strategy in the dynamic condition.


2012 ◽  
Vol 82 (4) ◽  
pp. 237-259 ◽  
Author(s):  
Moshe Ben-Shoshan

This review summarizes studies discussing vitamin D status in adults and reveals that vitamin D deficiency/insufficiency is highly prevalent in adults and that current fortification and supplementation policies are inadequate. Background and aims: Studies suggest a crucial role for adequate vitamin D status in various health conditions including bone metabolism, cancer, cardiovascular diseases, and allergies. However, relatively little is known about poor vitamin D status and unmet needs in adults. This report aims to highlight the contribution of epidemiologic studies (through the identification of health effects and societal burden) to the development of vitamin D fortification and supplementation policies and reveal unmet global challenges in adults. Methods: In order to assess worldwide vitamin D status in adults, the search strategy combined the medical literature database MEDLINE (using PubMed) for the time period between January 1, 1980 and February 28, 2011, using the key words “vitamin D” “deficiency” and “insufficiency”, and included articles in which access to full text was possible and in which healthy adults were assessed according to one of four commonly used vitamin D threshold classifications. Results: This report reveals that vitamin D deficiency occurs in 4.10 % [95 % CI (confidence interval), 3.93 %, 4.27 %] to 55.05 % (54.07 %, 56.03 %) of adults, while insufficiency occurs in 26.07 % (24.82 %, 27.33 %) to 78.50 % (77.85 %, 79.16 %), depending on the classification used. However, lack of overlap in CIs and high value of I2 statistics indicate considerable heterogeneity between studies. Further, certain populations (i. e. dark-skinned individuals, immigrants, and pregnant women) may be at higher risk for poor vitamin D status. Conclusion: Current policies for vitamin D supplementation and fortification are inadequate and new guidelines are required to improve vitamin D status in adults.


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

2013 ◽  
Vol 32 (12) ◽  
pp. 3326-3330
Author(s):  
Yin-xue ZHANG ◽  
Xue-min TIAN ◽  
Yu-ping CAO

Sign in / Sign up

Export Citation Format

Share Document