Search citation statements

Order By: Relevance
Select...
3
0
3
0

Year Published

2011
2011
2011
2011

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

0
3
0
Order By: Relevance
“…There have been several studies in which an SMC was applied to various target systems such as automotive software [47], microcontroller programs [48], Linux device drivers [45], [46], file systems [52], network filters [13], a protocol stack [40], and server applications [41]. For a flash storage platform, which is our main target domain, one recent study [32] analyzes flash file systems as an effort of the mini-challenge [35].…”
Section: Related Workmentioning
See 2 more Smart Citations
Create an account to read the remaining citation statements from this report. You will also get access to:
  • Search over 1.2b+ citation statments to see what is being said about any topic in the research literature
  • Advanced Search to find publications that support or contrast your research
  • Citation reports and visualizations to easily see what publications are saying about each other
  • Browser extension to see Smart Citations wherever you read research
  • Dashboards to evaluate and keep track of groups of publications
  • Alerts to stay on top of citations as they happen
  • Automated reference checks to make sure you are citing reliable research in your manuscripts
  • 14 day free preview of our premium features.

Trusted by researchers and organizations around the world

Over 130,000 students researchers, and industry experts at use scite

See what students are saying

rupbmjkragerfmgwileyiopcupepmcmbcthiemesagefrontiersapsiucrarxivemeralduhksmucshluniversity-of-gavle
“…There have been several studies in which an SMC was applied to various target systems such as automotive software [47], microcontroller programs [48], Linux device drivers [45], [46], file systems [52], network filters [13], a protocol stack [40], and server applications [41]. For a flash storage platform, which is our main target domain, one recent study [32] analyzes flash file systems as an effort of the mini-challenge [35].…”
Section: Related Workmentioning
“…The authors in [32] suspected that heavy use of complex data structure in the file system might cause failures to SMCs, which was similarly observed in our case study. Kolb et al [40] used Blast to verify the components of the Object linking and embedding for Process Control Unified Architecture (OPC UA) [42] protocol stack with regard to lock policy, message context management, and encoder management. They reported that several bugs were detected in a few seconds to a few minutes, but tool failures and false alarms were observed as well.…”
Section: Related Workmentioning
See 1 more Smart Citation