Computational Metabolomics : Identification , Interpretation , Imaging
暂无分享,去创建一个
[1] Colin Runciman,et al. Extrapolate: generalizing counterexamples of functional test properties , 2017, IFL.
[2] Alex Groce,et al. One test to rule them all , 2017, ISSTA.
[3] Hongyu Zhang,et al. Learning to Prioritize Test Programs for Compiler Testing , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
[4] Lu Zhang,et al. An Empirical Comparison of Compiler Testing Techniques , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[5] Ta'id Holmes,et al. Ming: Model- and View-Based Deployment and Adaptation of Cloud Datacenters , 2016, CLOSER.
[6] Lu Zhang,et al. Test Case Prioritization for Compilers: A Text-Vector Based Approach , 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
[7] John Regehr,et al. Provably correct peephole optimizations with alive , 2015, PLDI.
[8] Christoph G. Schütz,et al. Multilevel Business Processes - Modeling and Data Analysis , 2015 .
[9] Colin Atkinson,et al. Enhancing classic transformation languages to support multi-level modeling , 2013, Software & Systems Modeling.
[10] Francesco Zappa Nardelli,et al. Compiler testing via a theory of sound optimisations in the C11/C++11 memory model , 2013, PLDI.
[11] E. Guerra,et al. Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering , 2012, ECMFA.
[12] Xuejun Yang,et al. Test-case reduction for C compiler bugs , 2012, PLDI.
[13] Julia L. Lawall,et al. Documenting and automating collateral evolutions in linux device drivers , 2008, Eurosys '08.
[14] W. Gareth J. Howells,et al. SiTra: simple transformations in Java , 2006, MoDELS'06.
[15] Dirk Draheim,et al. A type system for reflective program generators , 2005, GPCE'05.
[16] Dirk Draheim,et al. Generative programming for C# , 2005, SIGP.
[17] Dirk Draheim,et al. The schema evolution and data migration framework of the environmental mass database IMIS , 2004, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004..
[18] Wil M. P. van der Aalst,et al. Inheritance of workflows: an approach to tackling problems related to change , 2002 .