A survey of recent advances in SAT-based formal verification von PRASAD, Mukul R, BIERE, Armin, GUPTA, Aarti

Volltext

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications von Yang, Wei, Prasad, Mukul R., Xie, Tao

Volltext

Why is ATPG easy? von Prasad, Mukul R, Chong, Philip, Keutzer, Kurt

Volltext

X-PERT: Accurate identification of cross-browser issues in web applications von Choudhary, Shauvik Roy, Prasad, Mukul R., Orso, Alessandro

Volltext

Automated cross-browser compatibility testing von Mesbah, Ali, Prasad, Mukul R.

Volltext

Software Applications Validation Environment: SAVE von Rajan Sreeranga, P, Prasad, Mukul R, Uehara, Tadahiro, Ghosh, Indradeep, Murthy, Praveen K, Munakata, Kazuki, Tkachuk, Oksana, Masuoka, Ryusuke, Oki, Kenji, Hara, Hirotaka

Volltext

Interleaved Invariant Checking with Dynamic Abstraction von Zhang, Liang, Prasad, Mukul R., Hsiao, Michael S.

Volltext

Error Detection Using BMC in a Parallel Environment von Iyer, Subramanian K., Jain, Jawahar, Prasad, Mukul R., Sahoo, Debashis, Sidle, Thomas

Volltext

Dynamic abstraction using SAT-based BMC von Zhang, Liang, Prasad, Mukul R., Hsiao, Michael S., Sidle, Thomas

Volltext

Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts von Mahajan, Sonal, Prasad, Mukul R

Volltext bestellen

Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits? von Prasad, Mukul R, Chong, Philip, Keutzer, Kurt

Volltext

Generation of software program repair explanations von Yoshida, Hiroaki, Prasad, Mukul R

Volltext bestellen

Automated generation of software patches von Prasad, Mukul R, Mahajan, Sonal

Volltext bestellen

Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching von Mahajan, Sonal, Abolhassani, Negarsadat, Prasad, Mukul R

Volltext

Automated identification of posts related to software patches von Prasad, Mukul R, Mahajan, Sonal

Volltext bestellen

Automatically labeling functional blocks in pipelines of existing machine learning projects in a corpus adaptable for use in new machine learning projects von Saha, Ripon K, Prasad, Mukul R

Volltext bestellen

SEMI-SUPERVISED BUG PATTERN REVISION von PRASAD, Mukul R, MAHAJAN, Sonal

Volltext bestellen

SEMI-SUPERVISED BUG PATTERN REVISION von PRASAD, Mukul R, MAHAJAN, Sonal

Volltext bestellen

AUTOMATED CUSTOM FEATURE ENGINEERING von DENG, Yinlin, BAHRAMI, Mehdi, PRASAD, Mukul R

Volltext bestellen

GENERATION OF SOFTWARE PROGRAM REPAIR EXPLANATIONS von PRASAD, Mukul R, YOSHIDA, Hiroaki

Volltext bestellen