8 citations · 11 across the 3 of their papers we have counts for
8 papers · 1 filter
Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)
Jianfeng Chen, Xipeng Shen, Tim Menzies
Theorem provers has been used extensively in software engineering for software testing or verification. However, software is now so large and complex that additional architecture i…
Learning to Recognize Actionable Static Code Warnings (is Intrinsically Easy)
Xueqi Yang, Jianfeng Chen, Rahul Yedida +2
Static code warning tools often generate warnings that programmers ignore. Such tools can be made more useful via data mining algorithms that select the "actionable" warnings; i.e.…
Sequential Model Optimization for Software Process Control
Tianpei Xia, Rui Shu, Xipeng Shen +1
Many methods have been proposed to estimate how much effort is required to build and maintain software. Much of that research assumes a ``classic'' waterfall-based approach rather…
How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization
Rui Shu, Tianpei Xia, Jianfeng Chen +2
Background: In order that the general public is not vulnerable to hackers, security bug reports need to be handled by small groups of engineers before being widely discussed. But l…
Predicting Breakdowns in Cloud Services (with SPIKE)
Jianfeng Chen, Joymallya Chakraborty, Philip Clark +3
Maintaining web-services is a mission-critical task where any down-time means loss of revenue and reputation (of being a reliable service provider). In the current competitive web…
Building Very Small Test Suites (with Snap)
Jianfeng Chen, Xipeng Shen, Tim Menzies
Software is now so large and complex that additional architecture is needed to guide theorem provers as they try to generate test suites. For example, the SNAP test suite generator…