Peyman Mahdian

  • Citations Per Year
Learn More
With recent advances in test generation research, powerful test generation tools are now at the fingertips of developers in software industry. For example, Microsoft Research Pex, a state-of-the-art tool based on dynamic symbolic execution, has been shipped as IntelliTest in Visual Studio 2015. For test inputs automatically generated by such tool, to supply(More)
Interfacing two electrical components, and accuracy of data, based on a specified protocol, are critical parts of electronic interfacing. This work highlights the design and implementation of an integrated circuit under bidirectional interfacing of a digital signal processor (DSP) to a Manchester encoder-decoder (MED), and to a secondary device. The(More)
We present a new learning-based technique to synthesize conjunctive invariants for sound but incomplete verification oracles. Our learning framework encodes nonprovability information provided by the verification oracle as constraints on the set of conjuncts that form the invariant, and reduces this learning to ICE-learning algorithms for conjuncts. We(More)
  • 1