| 10713069 |
Software and hardware emulation system |
Marat Boshernitsan, Andreas Kuehlmann, Roger H. Scott, Andy Chou, Kit Transue |
2020-07-14 |
| 10496524 |
Separating test coverage in software processes using shared memory |
Jonathan Clark, Darren J. Kennedy, Sylvain François, Marc Rambert, Marat Boshernitsan |
2019-12-03 |
| 9836390 |
Static analysis of computer code to determine impact of change to a code component upon a dependent code component |
Marat Boshernitsan, Andreas Kuehlmann, Philip Chong, Tobias Welp |
2017-12-05 |
| 9317399 |
Policy evaluation based upon dynamic observation, static analysis and code change history |
Marat Boshernitsan, Andreas Kuehlmann, Roger H. Scott, Andy Chou, Kit Transue |
2016-04-19 |
| 9032376 |
Static analysis of computer code to determine impact of change to a code component upon a dependent code component |
Marat Boshernitsan, Andreas Kuehlmann, Philip Chong, Tobias Welp |
2015-05-12 |
| 8516434 |
Methods for marking, merging, and managing the results of software program analysis |
— |
2013-08-20 |