摘要:
The present invention is directed to automatically analyzing software systems for identifying faults or bugs and/or detection of malicious code. In various embodiments, the present invention measures code coverage for high priority invocable program elements, uses a relaxed coverage estimation technique that, instead of guaranteeing which code units will be executed, guarantees that at least a certain number of code units will be executed, determines and solves constraints in code to identify infeasible paths containing one or more selected nodes, determines, for a composite data type, a range of values for each of at least two non-composite data fields, and/or translates, prior to code analysis complex code into simpler code having fewer operators.
摘要:
The present invention provides methods, devices, and systems for creating an ad-hoc conference station from speakers on a plurality of mobile communication devices. The ad-hoc conference station can cancel the echo of any incoming audio for all of the communication devices. This feature may be achieved by employing a master/slave configuration for the communication devices within a common area.
摘要:
A contact center that includes: (a) an input 200 operable to receive a contact; (b) a task expert module 232 to (i) identify a plurality of tasks 400 associated with the contact; (ii) group the tasks 400 into first and second task sets; and (iii) queue the first and second task sets at different positions in at least one queue 208; and (c) an agent and work item selector 220 to assign the first task set to a first agent for servicing while maintaining the second task set in the at least one queue 208.