[ACM Press the 27th ACM SIGSOFT International Symposium - Amsterdam, Netherlands (2018.07.16-2018.07.21)] Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018 - PerfFuzz: automatically generating pathological inputs
- 作者Lemieux, Caroline; Padhye, Rohan; Sen, Koushik; Song, Dawn
- 文件大小13296.89KB
- 发表时间2018
- DOI10.1145/3213846.3213874
- 页码254-265
Simplicial radditive functorsVoevodsky, Vladimir · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
PrefaceGuo, Xuejun; Qin, Hourong; Tang, Guoping · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
Comparing homotopy categoriesBlanc, David · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2008
ForewordBak, Anthony; Rosenberg, Jonathan; Weibel, Chuck · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
Quillen model categoriesHovey, Mark · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
PrefaceFriedlander, Eric M.; Østvær, Paul Arne; Quick, Gereon · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2011
Cyclic Cohomology of CoringsRangipour, Bahram · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2009
Representability of derived stacksPridham, J.P. · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2012