| 9443334 |
Routing edges with ordered bundles |
Sergey Pupyrev, Sergey Bereg, Alexander E. Holroyd |
2016-09-13 |
| 9299176 |
Visualizing large graphs |
Bongshin Lee, Nathalie Henry Riche, Xiaoji Chen, Alexander E. Holroyd |
2016-03-29 |
| 8933937 |
Visualizing a layered graph using edge bundling |
Sergey Pupyrev |
2015-01-13 |
| 8599204 |
Controlling edge routing using layout constraints |
Stuart Kent, Fabian O. Winternitz, Kael R. Rowan, Timothy Dwyer, Edward Hart |
2013-12-03 |
| 8543944 |
Fast edge routing for interactive diagramming |
Timothy Dwyer |
2013-09-24 |
| 8482565 |
Interactive connector routing between obstacles |
— |
2013-07-09 |
| 8365129 |
Edge routing using connection regions |
Fabian O. Winternitz, Kael R. Rowan, Timothy Dwyer, Stuart Kent |
2013-01-29 |
| 7747985 |
Conformance testing of multi-threaded and distributed software systems |
Colin Campbell, Margus Veanes, Michael Barnett, Nikolai Tillmann, Wolfgang Grieskamp +1 more |
2010-06-29 |
| 7665072 |
Generating test cases for software with complex preconditions |
Nikolai Tillman, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Margus Veanes |
2010-02-16 |
| 7590520 |
Non-deterministic testing |
Margus Veanes, Wolfgang Grieskamp, Nikolai Tillmann |
2009-09-15 |
| 7500149 |
Generating finite state machines for software systems with asynchronous callbacks |
Wolfgang Grieskamp, Colin Campbell, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more |
2009-03-03 |
| 7493544 |
Extending test sequences to accepting states |
Andreas Blass, Colin Campbell, Margus Veanes, Michael Barnett, Nikolai Tillmann +3 more |
2009-02-17 |
| 7363202 |
State exploration using multiple state groupings |
Colin Campbell, Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann |
2008-04-22 |
| 7337388 |
Tool-based iterative document management |
Michael Barnett, Jacqueline Reid, Margus Veanes |
2008-02-26 |
| 7284235 |
Creation of content versions using content layers |
Margus Veanes |
2007-10-16 |
