activity
20122022
most citedFast Falsification of Neural Networks using Property Directed Testing

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2012

Debugging Invariant Issues in Pseudo Embedded Program: an Analytical Approach

Partha Pratim Ray, Ansuman Banerjee, Banibrata Bag

Debugging is an unavoidable and most crucial aspect of software development life cycle. Especially when it comes the turn of embedded one. Due to the requirements of low code size…