一般的な話ならいざ知らず､特定のﾂｰﾙに関して､いきなり､文章の断片だけ書いても､普通は分かりません｡
以下､下記の README の文章だとして､回答を書きます｡
https://code.google.com/p/js-symbolic-executor/source/browse/trunk/README

(args)というのはよくmain(string args[])などとあるｺﾏﾝﾄﾞより何かしらを引数として受け付けるｱﾚの事でしょうか？

微妙に違います｡
main ﾒｿｯﾄﾞには､filename から渡ります｡

以下のようなｺﾏﾝﾄﾞを打つと､簡単なﾍﾙﾌﾟが出てくるはずです｡

$ java -jar lib/js-symbolic-executor.jar

Usage:
java -jar <jarfile> filename entryFunction numTests [arg...]

filename is the file to instrument
entryFunction is the function at which symbolic execution will start
numTests---Symbolic execution will stop after generating (roughly) this many test inputs
[arg...] are the arguments that will be passed to entryFunction;they are strings, parsed by the JavaScript interpreter

[arg...] は､entryFunction への引数になるようです｡

この場合引数として何を受け付けるのか､どこをどのように調べたらよいご教授下さい｡

最初に呼ばれるのは､symbolicexecutor.SymbolicExecutor ｸﾗｽです｡
これは､js-symbolic-executor/build.xml を読むと､target name="jar" のﾀｽｸで､Manifest の Main-Class の指定をしているところから､分かります｡

SymbolicExecutor には､JUnit の TestCase - SymbolicExecutorTest があります｡
ﾃｽﾄｹｰｽのｿｰｽを読めばわかりますが､三つのﾃｽﾄｹｰｽがあります｡
それぞれのﾃｽﾄｹｰｽを見ると､引数に指定するものが､大体わかります｡

例えば､testMaxNumImput の場合､ｺﾏﾝﾄﾞとして起動する場合には､以下のような感じになるはずです｡
ﾌｧｲﾙ名を見れば分かると思いますが､js-symbolic-executor のﾃﾞｨﾚｸﾄﾘで起動します｡

$ java -jar lib/js-symbolic-executor.jar test/data/sample.js f 5 0 5

entryFunction - f の引数が､何故 0 5 になるのかは､Javascript のﾌｧｲﾙ - sample.js を見れば分かります｡
入口のところだけ抜粋｡

 ...

function adjust(input, goal) {
 while (1) {
 var tmp;
...
 }
 return input;
}

var f = adjust;

つまり､関数 adjust を input=0 ､goal=5 で起動する､という指定になります｡



ちなみに､js-symbolic-executor なるものが何をするためのものかは､分からずに書いていますので､念のため｡