Hoare logic-based genetic programming
P He, LS Kang, CG Johnson, S Ying - Science China Information Sciences, 2011 - Springer
Almost all existing genetic programming systems deal with fitness evaluation solely by
testing. In this paper, by contrast, we present an original approach that combines genetic …
testing. In this paper, by contrast, we present an original approach that combines genetic …
Formality based genetic programming
P He, L Kang, M Fu - 2008 IEEE Congress on Evolutionary …, 2008 - ieeexplore.ieee.org
Genetic programming (GP) is an illogical method for automatic programming. It shows
creativity in discovering a desired program to solve problem, but in essence bases its …
creativity in discovering a desired program to solve problem, but in essence bases its …
State-based time-series analysis and prediction
J Ma - Eighth ACIS International Conference on Software …, 2007 - ieeexplore.ieee.org
Time representation and temporal reasoning plays an important role in time-series analysis
and prediction, which involve dealing with varying situations in terms of states of the world …
and prediction, which involve dealing with varying situations in terms of states of the world …
Weakest precondition based verification tool that models spatial ordering
AK Bandyopadhyay - ACM SIGSOFT Software Engineering Notes, 2008 - dl.acm.org
Weakest precondition based method for specification and verification of geographically
distributed system is described. For this purpose spatial predicates have been defined. A …
distributed system is described. For this purpose spatial predicates have been defined. A …
Model for Parallel Verification of Programs
H Pei, K Lishan, L Qiongzhang - Eighth ACIS International …, 2007 - ieeexplore.ieee.org
Program verification is a major concern and challenge to our highly computer-dependent
societies. Under a closed environment, this paper explores proof reusing and organizing …
societies. Under a closed environment, this paper explores proof reusing and organizing …