Linmin Yang

According to our database, Linmin Yang authored at least 9 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Zero-Knowledge Blackbox Testing: where are the Faults?

Eric Wang, Cewei Cui, Zhe Dang, Thomas R. Fischer, Linmin Yang

Int. J. Found. Comput. Sci., 2014

2011

Information gain of black-box testing.

Linmin Yang, Zhe Dang, Thomas R. Fischer

Formal Aspects Comput., 2011

2010

Automata and processes on multisets of communicating objects.

Linmin Yang, Yong Wang, Zhe Dang

Nat. Comput., 2010

Entropy and software systems: towards an information-theoretic foundation of software testing.

Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009

Optimal Software Testing - A Cooling Down Process.

Linmin Yang, Zhe Dang, Thomas R. Fischer

Proceedings of the 2009 International Conference on Foundations of Computer Science, 2009

2008

On Stateless Automata and P Systems.

Linmin Yang, Zhe Dang, Oscar H. Ibarra

Int. J. Found. Comput. Sci., 2008

On Counter Machines, Reachability Problems, and Diophantine Equations.

Oscar H. Ibarra, Zhe Dang, Linmin Yang

Int. J. Found. Comput. Sci., 2008

Automata on Multisets of Communicating Objects.

Linmin Yang, Yong Wang, Zhe Dang

Proceedings of the Unconventional Computing, 7th International Conference, 2008

2007

Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.

Linmin Yang, Zhe Dang, Oscar H. Ibarra

Proceedings of the Unconventional Computation, 6th International Conference, 2007