Scientific Research Publishing

SymPcNSGA-Testing: A Hybrid Approach to Mitigate Path Explosion in Software Programs ()

To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...
IEEE

Iterative Algorithms for Set Stabilization of Probabilistic Boolean Control Networks and Applications in State-Based Games

Abstract: A probabilistic Boolean control network (PBCN) is a binary discrete-time system that utilizes probability values. An important application of PBCN is in gene regulatory network (GRN), ...
IEEE

Resilient Software Defined Satellite Networks: Combining Clustering Techniques with Efficient Routing Protocols

Abstract: Low Earth Orbit satellite constellations are highly mobile and thus have time-varying network topologies. Such time-varying networks face various challenges due to intermittently available ...